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

Изучаются типы рекурсивного изоморфизма внутри типов сходства ограниченных (т. е. принимающих конечное число значений) ЧРФ. Доказано, что тип сходства ограниченной функции состоит из конечного числа типов рекурсивного изоморфизма. Дана верхняя оценка числа типов рекурсивного изоморфизма в типе сходства ограниченной ЧРФ, зависящая от мощности области значений этой ЧРФ. Приведены формулы для числа типов рекурсивного изоморфизма в типах сходства некоторых ограниченных функций. Библиогр. 2.