Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры

В произвольной рекурсивной булевой алгебре построена рекурсивная подалгебра, решетка рекурсивно-перечислимых надалгебр которой изоморфна решетке рекурсивно-перечислимых множеств. Это позволяет строить примеры простых гипергиперпростых и максимальных подалгебр в произвольной рекурсивной булевой алгебре.