О $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 названия.