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