|
О некоторых сводимостях и разбиениях рекурсивно перечислимых множеств
Р. Ш. Оманадзе Тбилисский государственный университет им. Ив. Джавахишвили, Институт прикладной математики им. И. Векуа
Аннотация:
В работе доказано, что существует рекурсивно перечислимая (\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 название.
Поступило: 27.06.1995 Исправленный вариант: 12.09.1998
Образец цитирования:
Р. Ш. Оманадзе, “О некоторых сводимостях и разбиениях рекурсивно перечислимых множеств”, Матем. заметки, 66:2 (1999), 220–230; Math. Notes, 66:2 (1999), 174–180
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm1160https://doi.org/10.4213/mzm1160 https://www.mathnet.ru/rus/mzm/v66/i2/p220
|
Статистика просмотров: |
Страница аннотации: | 302 | PDF полного текста: | 178 | Список литературы: | 38 | Первая страница: | 1 |
|