Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий

Доказываются необходимое и достаточное условия существования изоморфизма, сохраняющего р.п. степени и являющегося отображением решетки р.п. множеств на решетку рекурсивно-перечислимых надструктур некоторой рекурсивной подструктуры эффективной системы замыканий. Доказывается, что любая рекурсивная булева алгебра содержит рекурсивную подалгебру и специальную последовательность над этой подалгеброй, удовлетворяющую некоторому условию. Это позволяет доказать результаты о существовании $r$-максимальных подалгебр.