СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Поляков Е. А. О типах сходства и изоморфизма частично рекурсивных функций // Том 36 (1995), Номер 2, стр. 390–396
На множестве всех одноместных частично рекурсивных
функций определяются два отношения эквивалентности: сходство и изоморфизм.
Рассматривается проблема описания частично рекурсивных функций,
тип сходства которых состоит из одного типа изоморфизма. Такие
функции названы $F$-{\it функциями}. В статье находятся необходимые и
достаточные условия для того, чтобы частично рекурсивная функция была
$F$-функцией. Строится пример $F$-функции, отличной от универсальной,
с нерекурсивной областью определения. Библиогр. 2.
© Сибирский Математический Журнал, 2003-2006