|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Краткие сообщения
Вычислимые линейные порядки и иерархия Ершова
Я. А. Михайловскаяa, А. Н. Фроловb a Казанский федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
b Университет Иннополис, ул. Университетская, д. 1, г. Иннополис, 420500, Россия
Аннотация:
В данной работе исправляется неточность предыдущей работы авторов. А именно, приводится корректное доказательство того, что существует вычислимый линейный порядок и серия естественных отношений на нем, спектр которых состоит в точности из всех $n$-вычислимо-перечислимых (в. п.) степеней (для любого натурального $n$).
Ключевые слова:
вычислимые линейные порядки, спектр отношений, $n$-вычислимо-перечислимые (в. п.) степени.
Поступила: 17.12.2021 Исправленный вариант: 17.12.2021 Принята к публикации: 23.12.2021
Образец цитирования:
Я. А. Михайловская, А. Н. Фролов, “Вычислимые линейные порядки и иерархия Ершова”, Изв. вузов. Матем., 2022, № 1, 85–89; Russian Math. (Iz. VUZ), 66:1 (2022), 71–74
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm9746 https://www.mathnet.ru/rus/ivm/y2022/i1/p85
|
|