Об $R$-универсальных функциях

Доказано, что тип $\rho$-сходства $R$-универсальной функции ($R\ne\varnothing,\mathbb N$) состоит из одного типа изоморфизма, но более чем из одного типа $\rho$-рекурсивного изоморфизма.
Библиография: 3 названия.