RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив

Труды МИАН, 2011, том 274, страницы 119–129 (Mi tm3321)

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

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

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

a Институт математики им. С. Л. Соболева СО РАН, Новосибирск, Россия
b Новосибирский государственный университет, Новосибирск, Россия

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

УДК: 510.55+510.532+510.67

Поступило в ноябре 2010 г.


 Англоязычная версия: Proceedings of the Steklov Institute of Mathematics, 2011, 274, 105–115

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


© МИАН, 2024