|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова
Н. А. Баженовab, Б. С. Калмурзаевc a Институт математики им. С. Л. Соболева СО РАН,
пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет,
ул. Пирогова, 1, Новосибирск 630090
c Казахский национальный университет им. аль-Фараби,
пр. аль-Фараби, 71, Алматы 050038, Казахстан
Аннотация:
Исследуются полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова. Для произвольного обозначения $a$ ненулевого вычислимого ординала рассматриваются $\Sigma^{-1}_a$-вычислимые нумерации семейства всех $\Sigma_a^{-1}$-отношений эквивалентности. Для этого семейства установлено существование бесконечного числа попарно не сравнимых фридберговых нумераций и бесконечного числа попарно не сравнимых позитивных неразрешимых нумераций. Для семейства всех в. п. отношений эквивалентности доказано, что существует бесконечно много попарно не сравнимых минимальных непозитивных нумераций. Кроме того, показано, что существует бесконечно много главных идеалов без минимальных нумераций.
Ключевые слова:
полурешетка Роджерса, иерархия Ершова, отношение эквивалентности, вычислимая нумерация, фридбергова нумерация, минимальная нумерация, универсальная нумерация, главный идеал.
Статья поступила: 13.06.2018 Окончательный вариант: 13.06.2018 Принята к печати: 19.12.2018
Образец цитирования:
Н. А. Баженов, Б. С. Калмурзаев, “Полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова”, Сиб. матем. журн., 60:2 (2019), 290–305; Siberian Math. J., 60:2 (2019), 223–234
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3076 https://www.mathnet.ru/rus/smj/v60/i2/p290
|
Статистика просмотров: |
Страница аннотации: | 275 | PDF полного текста: | 39 | Список литературы: | 47 | Первая страница: | 2 |
|