|
Об универсальных парах в иерархии Ершова
Н. А. Баженовab, М. Мустафаc, С. С. Оспичевab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090
c Назарбаев Университет, Школа естественных, социальных и гуманитарных наук, кафедра математики, пр. Кабанбай батыра, 53, Нур-Султан 010000, Казахстан
Аннотация:
Дается развитие теории $C$-классов Ю. Л. Ершова для некоторых конечных наборов множеств иерархии Ершова. Получено следующее обобщение результата А. А. Мучника о кратной $m$-сводимости: существует $m$-универсальная пара непересекающихся множеств для любого уровня иерархии Ершова.
Ключевые слова:
иерархия Ершова, $m$-сводимость, $\text{Ц}$-классы, вычислимая нумерация.
Статья поступила: 07.05.2020 Окончательный вариант: 18.09.2020 Принята к печати: 09.10.2020
Образец цитирования:
Н. А. Баженов, М. Мустафа, С. С. Оспичев, “Об универсальных парах в иерархии Ершова”, Сиб. матем. журн., 62:1 (2021), 31–41; Siberian Math. J., 62:1 (2021), 23–31
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7535 https://www.mathnet.ru/rus/smj/v62/i1/p31
|
Статистика просмотров: |
Страница аннотации: | 222 | PDF полного текста: | 67 | Список литературы: | 43 | Первая страница: | 13 |
|