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

Матем. заметки, 2001, том 69, выпуск 1, страницы 31–35 (Mi mzm481)

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

О $p$-сводимости вычислимых нумераций

А. Н. Дегтев

Тюменский государственный университет

Аннотация: Доказывается, что если $\nu_1$ и $\nu_2$ – две вычислимые нумерации некоторого семейства рекурсивно-перечислимых множеств (\textrm{РПМ}), причем $\nu_2<_p\nu_1$ и $\nu_1$ – не $p$-главная нумерация, то найдется вычислимая нумерация $\nu_0$ такая, что $\nu_2<_p\nu_0$ и $\nu_0, \nu_1$ $p$-несравнимы. Из нее следует описание инъективных объектов и отсутствие проективных в категории $K_p$ нумерованных множеств, согласованное с $p$-сводимостью вычислимых нумераций.
Библиография: 4 названия.

УДК: 517.11

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

DOI: 10.4213/mzm481


 Англоязычная версия: Mathematical Notes, 2001, 69:1, 28–31

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


© МИАН, 2024