Литвинов Н. В.
О типах сходства и рекурсивного изоморфизма ограниченных частично рекурсивных функций
Litvinov N. V.
On resemblance and recursive isomorphism types of bounded partial recursive functions

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

Полный текст статьи / Full texts:

• PDF file (278 KB)
• PostScript file (532 KB)