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