RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1991, том 30, номер 4, страницы 405–413 (Mi al2158)

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

О верхней полурешетке рекурсивно-перечислимых $sQ$-степеней

Р. Ш. Оманадзе

Институт прикладной математики им. И. Н. Векуа

Аннотация: С естественным ограничением на $Q$-сводимости вводится $sQ$-сводимость, и доказывается, что верхняя полурешетка р.п. $sQ$-степеней упорядочение плотна. Показано, что для каждой нерекурсивной р.п. неполной $sQ$-степени существует несравнимая с ней неускоряемая $sQ$-степень. Замечено, что в каждой нерекурсивной р.п. $W$-степени содержится бесконечное число попарно $sQ$-несравнимых р.п. множеств.

УДК: 510.5

Поступило: 14.11.1989


 Англоязычная версия: DOI: 10.1007/BF01985061

Реферативные базы данных:


© МИАН, 2024