|
Алгебра и логика, 2014, том 53, номер 4, страницы 427–450
(Mi al644)
|
|
|
|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Семейства без минимальных нумераций
К. Ш. Абешев, С. А. Бадаев, М. Мустафа Казахский национальный ун-т им. аль-Фараби, пр. аль-Фараби, 71, Алма-Ата, 050038, КАЗАХСТАН
Аннотация:
Доказывается, что для любого ненулевого вычислимого ординала и произвольного его обозначения $a$ существует $\Sigma_a^{-1}$-вычислимое семейство, не имеющее вычислимых минимальных нумераций.
Ключевые слова:
вычислимая нумерация, иерархия Ершова, минимальная нумерация.
Поступило: 16.11.2013
Образец цитирования:
К. Ш. Абешев, С. А. Бадаев, М. Мустафа, “Семейства без минимальных нумераций”, Алгебра и логика, 53:4 (2014), 427–450; Algebra and Logic, 53:4 (2014), 271–286
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al644 https://www.mathnet.ru/rus/al/v53/i4/p427
|
Статистика просмотров: |
Страница аннотации: | 283 | PDF полного текста: | 88 | Список литературы: | 54 | Первая страница: | 11 |
|