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

Алгебра и логика, 1994, том 33, номер 6, страницы 681–688 (Mi al2287)

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

Соотношения между некоторыми сводимостями

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

Институт прикладной математики им. И. Векуа, г. Тбилиси

Аннотация: В работе вводится понятие $sQ$-сводимости и для рекурсивно-перечислимых (р.п.) множеств $A$ и $B$ доказывается, что $A\le_{sQ}B\Leftrightarrow A\le_QB\& A\le_WB$. С помощью этого результата дается некоторая характеристика контигуальных степеней. Показывается, что если $A$, $B$ – р. п. множества, $A\equiv_{sQ}B$, $A<_mB$, то в $sQ$-степени множества $A$ содержится бесконечное число попарно $m$-несравнимых р.п. $m$-степеней.

УДК: 510.5

Поступило: 10.05.1990
Окончательный вариант: 21.02.1991


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

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


© МИАН, 2024