Дегтев А. Н., Платонов М. Л.
О e-главных нумерациях

Доказывается существование вычислимых семейств конечных множеств и общерекурсивных функций, не имеющих e-главных нумераций. Приводится серия примеров e-степеней, среди p-степеней вычислимых нумераций которых нет наибольшей.

Degtev A. N., Platonov M. L.
e -Principal numberings

We prove the existence of the computable families of finite sets and general recursive functions with no e-principal numbering. We give a series of examples of e-degrees such that the p-degrees of their computable numberings include no top p-degree.

Полный текст статьи / Full texts:

• PDF file (395 KB)
• PostScript file (735 KB)