RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 1999, том 66, выпуск 2, страницы 220–230 (Mi mzm1160)

О некоторых сводимостях и разбиениях рекурсивно перечислимых множеств

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

Тбилисский государственный университет им. Ив. Джавахишвили, Институт прикладной математики им. И. Векуа

Аннотация: В работе доказано, что существует рекурсивно перечислимая (\textrm{РП} ) $T$-степень $a$ такая, что никакое \textrm{РП} полурекурсивное множество $A\in a$ не обладает $Q$-универсальным свойством разбиения. В каждой нерекурсивной \textrm{РП} контигуальной степени существует \textrm{РП} множество $A$ такое, что $A$ имеет универсальное свойство $T$-$Q$-редукции, но $A$ не является $T$-$Q$-максимальным множеством. В каждой нерекурсивной \textrm{РП} $W$-степени существует \textrm{РП} множество $A$ такое, что $A$ имеет универсальное свойство $W$-$sQ$-редукции, но $A$ не является $W$-$sQ$-максимальным множеством. Каждое креативное множество является частично полумаксимальным множеством.
Библиография: 21 название.

УДК: 510.5

Поступило: 27.06.1995
Исправленный вариант: 12.09.1998

DOI: 10.4213/mzm1160


 Англоязычная версия: Mathematical Notes, 1999, 66:2, 174–180

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


© МИАН, 2024