О сводимостях нумераций

Если $\nu_0$ и $\nu_1$ – две нумерации множества $S$, то будем говорить, что $\nu_0$ $e$-сводима к $\nu_1$, если существует оператор перечисления $\Phi$ такой, что ($\forall s\in S$) $[\nu_0^{-1}(s)=\Phi(\nu_1^{-1}(s))]$.
В работе изучается как $e$-сводимость, так и верхние полурешетки $e$-эквивалентных вычислимых семейств рекурсивно-перечислимых множеств. Некоторые из таких полурешеток допускают изящное описание, для других найдены достаточные условия, чтобы они имели $e$-главную нумерацию или были бы счетными.
Библиография: 7 названий.