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

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