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