|
Труды Математического института имени В. А. Стеклова, 2011, том 274, страницы 119–129
(Mi tm3321)
|
|
|
|
Эта публикация цитируется в 32 научных статьях (всего в 32 статьях)
Степени автоустойчивости относительно сильных конструктивизаций
С. С. Гончаровab a Институт математики им. С. Л. Соболева СО РАН, Новосибирск, Россия
b Новосибирский государственный университет, Новосибирск, Россия
Аннотация:
Исследуется вопрос о спектрах тьюринговых степеней автоустойчивости вычислимых моделей. Для почти простых разрешимых моделей показано, что спектр автоустойчивости относительно сильных конструктивизаций таких моделей всегда содержит некоторую рекурсивно перечислимую тьюрингову степень, а также показано, что для любой рекурсивно перечислимой тьюринговой степени существуют простые модели, в которых эта степень является наименьшей в спектре автоустойчивости относительно сильных конструктивизаций.
Поступило в ноябре 2010 г.
Образец цитирования:
С. С. Гончаров, “Степени автоустойчивости относительно сильных конструктивизаций”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 119–129; Proc. Steklov Inst. Math., 274 (2011), 105–115
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm3321 https://www.mathnet.ru/rus/tm/v274/p119
|
Статистика просмотров: |
Страница аннотации: | 339 | PDF полного текста: | 55 | Список литературы: | 65 |
|