|
Алгебра и логика, 2003, том 42, номер 6, страницы 737–746
(Mi al53)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
О позитивных нумерациях семейств множеств иерархии Ершова
Ж. Т. Таласбаева Казахский национальный университет им. аль-Фараби
Аннотация:
Доказывается существование бесконечного числа позитивных неразрешимых $\Sigma^{-1}_n$-вычислимых нумераций любого бесконечного семейства $\mathcal S\subseteq\Sigma^{-1}_n$, которое допускает хотя бы одну $\Sigma^{-1}_n$-вычислимую нумерацию и содержит либо пустое множество при четном $n$, либо $N$ при нечетном $n$.
Ключевые слова:
иерархия Ершова, позитивная неразрешимая $\Sigma^{-1}_n$-вычислимая нумерация.
Поступило: 20.08.2001 Окончательный вариант: 15.07.2003
Образец цитирования:
Ж. Т. Таласбаева, “О позитивных нумерациях семейств множеств иерархии Ершова”, Алгебра и логика, 42:6 (2003), 737–746; Algebra and Logic, 42:6 (2003), 413–418
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al53 https://www.mathnet.ru/rus/al/v42/i6/p737
|
|