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

Получен ряд достаточных условий для того, чтобы тип сходства частично рекурсивной функции состоял более чем из одного типа изоморфизма. Построены два рекурсивно перечислимых множества $A$ и $B$ таких, что для любой рекурсивной перестановки $f$ имеет место $f(A)\nsubseteq B$ и $f(B)\nsubseteq A$.
Библиогр. 1.