On $p$-Reducibility of Computable Numerations
Matematičeskie zametki, Tome 69 (2001) no. 1, pp. 31-35
Voir la notice de l'article provenant de la source Math-Net.Ru
It is proved that if $\nu_1$ and $\nu_2$ are two computable numerations of a certain family of recursively enumerable sets such that $\nu_2$ and $\nu_1$ is not a $p$-principal numeration, then there exists a computable numeration $\nu_0$ p-incomparable with $\nu_1$ such that $\nu_2$. This yields the description of injective objects and the absence of numerated sets projective in the category $K_p$ conforming to $p$-reducibility of computable numeration.
@article{MZM_2001_69_1_a2,
author = {A. N. Degtev},
title = {On $p${-Reducibility} of {Computable} {Numerations}},
journal = {Matemati\v{c}eskie zametki},
pages = {31--35},
publisher = {mathdoc},
volume = {69},
number = {1},
year = {2001},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_2001_69_1_a2/}
}
A. N. Degtev. On $p$-Reducibility of Computable Numerations. Matematičeskie zametki, Tome 69 (2001) no. 1, pp. 31-35. http://geodesic.mathdoc.fr/item/MZM_2001_69_1_a2/