Сводимость частично-рекурсивных функций

Пусть $f$ и $g$ – две одноместные ч.-р.ф. Говорим, что $f\le g$, если ($\exists h(x)$ – о.-р.ф) ($f(x)=gh(x)$). В работе в основном изучаются частичные порядки $O(A)=\langle F|\equiv,\le\rangle$, где $F$ – семейство всех частично-рекурсивных перестановок некоторого р.-п. множества $A$. Получены некоторые общие результаты о строении $O(A)$ и в то же время показано, что $O(A)$ существенно зависит от свойств множества $A$.