Корольков Ю. Д.
Изоморфизм индексных множеств дискретных семейств общерекурсивных функций

Доказан изоморфизм индексного множества произвольного вычислимого семейства общерекурсивных функций индексному множеству некоторого вычислимого дискретного семейства общерекурсивных функций.

Korol´kov Yu. D.
Isomorphism of the index sets of discrete families of general recursive functions

We establish isomorphism between the index set of an arbitrary computable family of general recursive functions and the index set of a certain computable discrete family of general recursive functions.

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

• PDF file (332 KB)
• PostScript file (650 KB)