СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Литвинов Н. В. О типах сходства и рекурсивного изоморфизма частично рекурсивных функций // Том 41 (2000), Номер 1, стр. 164–166
Частично рекурсивную функцию, отличную от пустой
(т.~е. нигде не определенной) функции и функций-констант,
тип сходства которой совпадает с типом рекурсивного изоморфизма,
назовем
$t$-{\it функцией}.
Доказано, что область значений любой
$t$-функции
представляет собой натуральный ряд и что уровни
$t$-функции
рекурсивно изоморфны. Библиогр.~2.
© Сибирский Математический Журнал, 2003-2006