|
Алгебра и логика, 2011, том 50, номер 3, страницы 399–414
(Mi al493)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Тьюринговые скачки в иерархии Ершова
М. Х. Файзрахманов Каф. алгебры и матем. логики, Казанский (Приволжский) федерал. ун-т, г. Казань, РОССИЯ
Аннотация:
Изучаются бесконечные уровни иерархии Ершова в естественной системе обозначений, являющиеся собственными для скачков множеств. Доказывается, что собственными бесконечными уровнями для скачков являются только уровни $\Delta^{-1}_a$, где $a$ – обозначение для ординала $\omega^n>1$.
Ключевые слова:
тьюринговые скачки, иерархия Ершова, конструктивные ординалы, супернизкие множества.
Поступило: 21.06.2008 Окончательный вариант: 16.03.2011
Образец цитирования:
М. Х. Файзрахманов, “Тьюринговые скачки в иерархии Ершова”, Алгебра и логика, 50:3 (2011), 399–414; Algebra and Logic, 50:3 (2011), 279–289
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al493 https://www.mathnet.ru/rus/al/v50/i3/p399
|
Статистика просмотров: |
Страница аннотации: | 395 | PDF полного текста: | 291 | Список литературы: | 60 | Первая страница: | 14 |
|