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