|
Сибирский математический журнал, 2000, том 41, номер 2, страницы 397–399
(Mi smj1536)
|
|
|
|
О типах сходства и рекурсивного изоморфизма ограниченных частично рекурсивных функций
Н. В. Литвинов
Аннотация:
Изучаются типы рекурсивного изоморфизма внутри типов сходства ограниченных (т. е. принимающих конечное число значений) ЧРФ. Доказано, что тип сходства ограниченной функции состоит из конечного числа типов рекурсивного изоморфизма. Дана верхняя оценка числа типов рекурсивного изоморфизма в типе сходства ограниченной ЧРФ, зависящая от мощности области значений этой ЧРФ. Приведены формулы для числа типов рекурсивного изоморфизма в типах сходства некоторых ограниченных функций.
Библиогр. 2.
Статья поступила: 15.02.1999
Образец цитирования:
Н. В. Литвинов, “О типах сходства и рекурсивного изоморфизма ограниченных частично рекурсивных функций”, Сиб. матем. журн., 41:2 (2000), 397–399; Siberian Math. J., 41:2 (2000), 327–328
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1536 https://www.mathnet.ru/rus/smj/v41/i2/p397
|
|