RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия высших учебных заведений. Математика // Архив

Изв. вузов. Матем., 2010, номер 12, страницы 58–66 (Mi ivm7161)

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

Разложимость низких 2-вычислимо перечислимых степеней и тьюринговые скачки в иерархии Ершова

М. Х. Файзрахманов

Кафедра алгебры и математической логики, Казанский государственный университет, г. Казань

Аннотация: В работе доказана теорема: для каждого обозначения конструктивного ординала существует низкая 2-вычислимо перечислимая степень, не являющаяся разложимой на две меньшие 2-вычислимо перечислимые степени, скачки которых принадлежат $\Delta$-уровню иерархии Ершова, соответствующему этому обозначению.

Ключевые слова: низкие степени, 2-вычислимо перечислимые степени, иерархия Ершова, тьюринговые скачки, конструктивные ординалы.

УДК: 510.53

Поступила: 08.04.2009


 Англоязычная версия: Russian Mathematics (Izvestiya VUZ. Matematika), 2010, 54:12, 51–58

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


© МИАН, 2024