|
Алгебра и логика, 1973, том 12, номер 6, страницы 713–729
(Mi al1408)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Index sets in $O\,'$
L. Hay University of Illinois at Chicago Circle
Аннотация:
Пусть $\{W_{x}\mid x\in N\}$ — стандартное перечисление всех
рекурсивно перечислимых множеств. Индексным множеством класса $C$
рекурсивно перечислимых множеств называется множество $\{x\mid W_{x}\in
C\}$. Для всякой тьюринговой степени $a$ пусть $\sigma_{a}$ обозначает
частичное упорядочение $1$-степеней индексных множеств тюринговой степени $a$
относительно $1$-$1$-сводимости. Основные результаты: 1) если $a$ содержит
нетривиальное индексное множество, то всякое счётное частичное упорядочение
может быть вложено в $\sigma_{a}$; 2) каждый элемент из $\sigma_{a}$ имеет
непосредственно следующий за ним. Кроме того, даются некоторые условия для
того, чтобы индексные множества были $p$-цилиндрами.
Поступило: 28.08.1973
Образец цитирования:
L. Hay, “Index sets in $O\,'$”, Алгебра и логика, 12:6 (1973), 713–729
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1408 https://www.mathnet.ru/rus/al/v12/i6/p713
|
Статистика просмотров: |
Страница аннотации: | 65 | PDF полного текста: | 23 | Список литературы: | 1 |
|