Свойства плотности решетки степеней по отделимости

Для непересекающтхся пар множеств натуральных чисел $(A',A'')$ и $(B',B'')$
$$ (A',A'')\leq_{sm}(B',B'')\longleftrightarrow(\exists\quad\text{общерекурсивная}\quad f) \quad (f(A')\subseteq B'\& f(A'')\subseteq B''). $$
Изучается соответствующее этой сводимости упорядочение степеней. Это дистрибутивная решетка с наименьшим элементом, обладающая очень сильными свойствами плотности.
Библиогр. 5.