О типах сходства и рекурсивного изоморфизма частично рекурсивных функций

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