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

Изв. вузов. Матем., 2022, номер 1, страницы 85–89 (Mi ivm9746)

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

Краткие сообщения

Вычислимые линейные порядки и иерархия Ершова

Я. А. Михайловскаяa, А. Н. Фроловb

a Казанский федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
b Университет Иннополис, ул. Университетская, д. 1, г. Иннополис, 420500, Россия

Аннотация: В данной работе исправляется неточность предыдущей работы авторов. А именно, приводится корректное доказательство того, что существует вычислимый линейный порядок и серия естественных отношений на нем, спектр которых состоит в точности из всех $n$-вычислимо-перечислимых (в. п.) степеней (для любого натурального $n$).

Ключевые слова: вычислимые линейные порядки, спектр отношений, $n$-вычислимо-перечислимые (в. п.) степени.

УДК: 510.53

Поступила: 17.12.2021
Исправленный вариант: 17.12.2021
Принята к публикации: 23.12.2021

DOI: 10.26907/0021-3446-2022-1-85-89


 Англоязычная версия: Russian Mathematics (Izvestiya VUZ. Matematika), 2022, 66:1, 71–74


© МИАН, 2024