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