К. Ш. Абешев, С. А. Бадаев, М. Мустафа, “Семейства без минимальных нумераций”, Алгебра и логика, 2014, том 53, номер 4,страницы 427

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

Семейства без минимальных нумераций

К. Ш. Абешев, С. А. Бадаев, М. Мустафа

Казахский национальный ун-т им. аль-Фараби, пр. аль-Фараби, 71, Алма-Ата, 050038, КАЗАХСТАН

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

Ключевые слова: вычислимая нумерация, иерархия Ершова, минимальная нумерация.

УДК: 510.54

Поступило: 16.11.2013