RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 1995, том 36, номер 2, страницы 390–396 (Mi smj641)

Эта публикация цитируется в 1 статье

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

Е. А. Поляков


Аннотация: На множестве всех одноместных частично рекурсивных функций определяются два отношения эквивалентности: сходство и изоморфизм. Рассматривается проблема описания частично рекурсивных функций, тип сходства которых состоит из одного типа изоморфизма. Такие функции названы $F$-функциями. В статье находятся необходимые и достаточные условия для того, чтобы частично рекурсивная функция была $F$-функцией. Строится пример $F$-функции, отличной от универсальной, с нерекурсивной областью определения.
Библиогр. 2.

УДК: 517.11

Статья поступила: 31.03.1994


 Англоязычная версия: Siberian Mathematical Journal, 1995, 36:2, 343–347

Реферативные базы данных:


© МИАН, 2024