Автоустойчивость и вычислимые семейства конструктивизаций

Изучаются вопросы автоустойчивости конструктивных моделей и связанные с ними вопросы вычислимости классов конструктивизаций. В случае, когда модель обладает конструктивизацией с разрешимой 2-ограниченной теорией, найдены необходимые и достаточные условия для автоустойчивости этой модели. Показано, что класс всех ее конструктивизаций с точностью до автоэквивалентности невычислим и существует счетное число ее неавтоэквивалентных конструктивизаций, если она не автоустойчива. Доказана невычислимость класса слабых конструктивизаций модели, обладающей сильной и слабой конструктивизациями.