Безатомные идеалы конструктивных булевых алгебр

Построены примеры конструктивных булевых алгебр таких, что фактор-алгебра по безатомному идеалу неконструктивизируема. Приведена полная классификация атомных булевых алгебр с точки зрения существования неконструктивизируемой булевой алгебры, имеющей заданную фактор-алгебру по безатомному идеалу.