|
Алгебра и логика, 1991, том 30, номер 4, страницы 405–413
(Mi al2158)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
О верхней полурешетке рекурсивно-перечислимых $sQ$-степеней
Р. Ш. Оманадзе Институт прикладной математики им. И. Н. Векуа
Аннотация:
С естественным ограничением на $Q$-сводимости вводится $sQ$-сводимость, и доказывается, что верхняя полурешетка р.п. $sQ$-степеней упорядочение плотна. Показано, что для каждой нерекурсивной р.п. неполной $sQ$-степени существует несравнимая с ней неускоряемая $sQ$-степень. Замечено, что в каждой нерекурсивной р.п. $W$-степени содержится бесконечное число попарно $sQ$-несравнимых р.п. множеств.
Поступило: 14.11.1989
Образец цитирования:
Р. Ш. Оманадзе, “О верхней полурешетке рекурсивно-перечислимых $sQ$-степеней”, Алгебра и логика, 30:4 (1991), 405–413
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2158 https://www.mathnet.ru/rus/al/v30/i4/p405
|
Статистика просмотров: |
Страница аннотации: | 60 | PDF полного текста: | 23 |
|