|
Известия высших учебных заведений. Математика, 2010, номер 12, страницы 58–66
(Mi ivm7161)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Разложимость низких 2-вычислимо перечислимых степеней и тьюринговые скачки в иерархии Ершова
М. Х. Файзрахманов Кафедра алгебры и математической логики, Казанский государственный университет, г. Казань
Аннотация:
В работе доказана теорема: для каждого обозначения конструктивного ординала существует низкая 2-вычислимо перечислимая степень, не являющаяся разложимой на две меньшие 2-вычислимо перечислимые степени, скачки которых принадлежат $\Delta$-уровню иерархии Ершова, соответствующему этому обозначению.
Ключевые слова:
низкие степени, 2-вычислимо перечислимые степени, иерархия Ершова, тьюринговые скачки, конструктивные ординалы.
Поступила: 08.04.2009
Образец цитирования:
М. Х. Файзрахманов, “Разложимость низких 2-вычислимо перечислимых степеней и тьюринговые скачки в иерархии Ершова”, Изв. вузов. Матем., 2010, № 12, 58–66; Russian Math. (Iz. VUZ), 54:12 (2010), 51–58
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm7161 https://www.mathnet.ru/rus/ivm/y2010/i12/p58
|
Статистика просмотров: |
Страница аннотации: | 527 | PDF полного текста: | 88 | Список литературы: | 64 | Первая страница: | 3 |
|