|
Алгебра и логика, 1978, том 17, номер 3, страницы 270–281
(Mi al1607)
|
|
|
|
Три теоремы о $tt$-степенях
А. Н. Дёгтев
Аннотация:
Доказываются следующие три теоремы: (а) каждая нерекурсивная $tt$-степень состоит по крайней мере из двух $btt$-степеней; (б) степень неразрешимости $a$ такая, что $a'\geqslant 0''$, не содержит минимальных рекурсивно-перечислимых (р. п. ) $tt$-степеней; (в) для любого р. п. нерекурсивного и не $tt$-полного множества найдется $tt$-несравнимое с ним р. п. множество, под $tt$-степенью которого нет минимальных р. п. $tt$-степеней.
Поступило: 18.01.1978
Образец цитирования:
А. Н. Дёгтев, “Три теоремы о $tt$-степенях”, Алгебра и логика, 17:3 (1978), 270–281
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1607 https://www.mathnet.ru/rus/al/v17/i3/p270
|
Статистика просмотров: |
Страница аннотации: | 69 | PDF полного текста: | 37 |
|