RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 2019, том 60, номер 2, страницы 290–305 (Mi smj3076)

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

Полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова

Н. А. Баженовab, Б. С. Калмурзаевc

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

Аннотация: Исследуются полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова. Для произвольного обозначения $a$ ненулевого вычислимого ординала рассматриваются $\Sigma^{-1}_a$-вычислимые нумерации семейства всех $\Sigma_a^{-1}$-отношений эквивалентности. Для этого семейства установлено существование бесконечного числа попарно не сравнимых фридберговых нумераций и бесконечного числа попарно не сравнимых позитивных неразрешимых нумераций. Для семейства всех в. п. отношений эквивалентности доказано, что существует бесконечно много попарно не сравнимых минимальных непозитивных нумераций. Кроме того, показано, что существует бесконечно много главных идеалов без минимальных нумераций.

Ключевые слова: полурешетка Роджерса, иерархия Ершова, отношение эквивалентности, вычислимая нумерация, фридбергова нумерация, минимальная нумерация, универсальная нумерация, главный идеал.

УДК: 510.55

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

DOI: 10.33048/smzh.2019.60.204


 Англоязычная версия: Siberian Mathematical Journal, 2019, 60:2, 223–234

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


© МИАН, 2024