Литвинов Н. В.
О типах сходства и рекурсивного изоморфизма частично рекурсивных функций
Litvinov N. V.
On the resemblance and recursive isomorphism types of partial recursive functions

Частично рекурсивную функцию, отличную от пустой (т. е. нигде не определенной) функции и функций-констант, тип сходства которой совпадает с типом рекурсивного изоморфизма, назовем t- функцией. Доказано, что область значений любой t-функции представляет собой натуральный ряд и что уровни t-функции рекурсивно изоморфны.

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

• PDF file (253 KB)
• PostScript file (482 KB)