RUS  ENG
Полная версия
ЖУРНАЛЫ // Успехи математических наук // Архив

УМН, 2010, том 65, выпуск 5(395), страницы 107–142 (Mi rm9373)

Эта публикация цитируется в 16 статьях

Об автоустойчивости относительно сильных конструктивизаций почти простых моделей

С. С. Гончаров

Институт математики им. С. Л. Соболева СО РАН

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

Ключевые слова: вычислимая модель, конструктивная модель, сильно конструктивная модель, автоустойчивость, простая модель, почти простая модель, эренфойхтова теория, разрешимая теория, разрешимая модель.

УДК: 517.1+519.5

MSC: Primary 03C57; Secondary 03C35, 03D45, 03D80

Поступила в редакцию: 29.06.2010

DOI: 10.4213/rm9373


 Англоязычная версия: Russian Mathematical Surveys, 2010, 65:5, 901–935

Реферативные базы данных:


© МИАН, 2024