О вычислимых группах автоморфизмов моделей

Изучается понятие вычислимости для групп рекурсивных автоморфизмов конструктивных моделей. Получен критерий вычислимости для таких групп, а также точная оценка в арифметической иерархии для множества пар кортежей элементов конструктивной модели, которые переводятся друг в друга некоторым рекурсивным автоморфизмом.