Н. А. Баженов, М. Мустафа, С. С. Оспичев, “Об универсальных парах в иерархии Ершова”, Сиб. матем. журн., 2021, том 62, номер 1,страницы 31

Об универсальных парах в иерархии Ершова

Н. А. Баженов^ab, М. Мустафа^c, С. С. Оспичев^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
^b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090
^c Назарбаев Университет, Школа естественных, социальных и гуманитарных наук, кафедра математики, пр. Кабанбай батыра, 53, Нур-Султан 010000, Казахстан

Аннотация: Дается развитие теории $C$-классов Ю. Л. Ершова для некоторых конечных наборов множеств иерархии Ершова. Получено следующее обобщение результата А. А. Мучника о кратной $m$-сводимости: существует $m$-универсальная пара непересекающихся множеств для любого уровня иерархии Ершова.

Ключевые слова: иерархия Ершова, $m$-сводимость, $\text{Ц}$-классы, вычислимая нумерация.

УДК: 510.5

MSC: 35R30

Статья поступила: 07.05.2020
Окончательный вариант: 18.09.2020
Принята к печати: 09.10.2020

DOI: 10.33048/smzh.2021.62.103