|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
Об автоустойчивости относительно сильных конструктивизаций почти простых моделей
С. С. Гончаров Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Вопросы автоустойчивости и алгоритмической размерности моделей восходят
к работам А. И. Мальцева и А. Фрелиха–Дж. Шепердсона,
в которых впервые был обнаружен эффект существования
для моделей неэквивалентных, с точки зрения их алгоритмических свойств,
вычислимых представлений. Исследованиям этих проблем в настоящее время
посвящено большое число работ различных авторов. В данной статье исследуется
вопрос о наследовании свойств автоустойчивости и неавтоустойчивости
относительно сильных конструктивизаций на почти простых моделях
при элементарных расширениях.
Библиография: 37 названий.
Ключевые слова:
вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, простая модель, почти простая модель, эренфойхтова теория, разрешимая теория, разрешимая модель.
Поступила в редакцию: 29.06.2010
Образец цитирования:
С. С. Гончаров, “Об автоустойчивости относительно сильных конструктивизаций почти простых моделей”, УМН, 65:5(395) (2010), 107–142; Russian Math. Surveys, 65:5 (2010), 901–935
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/rm9373https://doi.org/10.4213/rm9373 https://www.mathnet.ru/rus/rm/v65/i5/p107
|
|