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

АННОТАЦИИ

Литвинов Н. В. О типах сходства и рекурсивного изоморфизма ограниченных частично рекурсивных функций // Том 41 (2000), Номер 2, стр. 397–399
Изучаются типы рекурсивного изоморфизма внутри типов сходства
ограниченных (т.~е. принимающих конечное число значений) ЧРФ. Доказано,
что тип сходства ограниченной функции состоит
из конечного числа типов рекурсивного
изоморфизма. Дана верхняя оценка числа типов
рекурсивного изоморфизма в типе сходства ограниченной
ЧРФ, зависящая от мощности области значений этой ЧРФ. Приведены
формулы для числа типов рекурсивного
изоморфизма в типах сходства некоторых ограниченных функций.
Библиогр.~2.
© Сибирский Математический Журнал, 2003-2006