Конечно-аксиоматизируемые булевы алгебры с выделенным идеалами

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