Аннотация:
Вопросы автоустойчивости и алгоритмической размерности моделей восходят
к работам А. И. Мальцева и А. Фрелиха–Дж. Шепердсона,
в которых впервые был обнаружен эффект существования
для моделей неэквивалентных, с точки зрения их алгоритмических свойств,
вычислимых представлений. Исследованиям этих проблем в настоящее время
посвящено большое число работ различных авторов. В данной статье исследуется
вопрос о наследовании свойств автоустойчивости и неавтоустойчивости
относительно сильных конструктивизаций на почти простых моделях
при элементарных расширениях.
Библиография: 37 названий.
Ключевые слова:вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, простая модель, почти простая модель, эренфойхтова теория, разрешимая теория, разрешимая модель.