|
Эта публикация цитируется в 2 научных статьях (всего в 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 названия.
Поступило: 25.05.1999 Исправленный вариант: 03.03.2000
Образец цитирования:
А. Н. Дегтев, “О $p$-сводимости вычислимых нумераций”, Матем. заметки, 69:1 (2001), 31–35; Math. Notes, 69:1 (2001), 28–31
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm481https://doi.org/10.4213/mzm481 https://www.mathnet.ru/rus/mzm/v69/i1/p31
|
Статистика просмотров: |
Страница аннотации: | 299 | PDF полного текста: | 172 | Список литературы: | 49 | Первая страница: | 1 |
|