Конструктивизируемость булевых алгебр элементарной характеристики $(1,0,1)$

Исследуются проблемы нахождения критерия сильной конструктивизируемости булевых алгебр. Приводится пример конструктивной, но не сильно конструктивизируемой, булевой алгебры характеристики $(1,0,1)$ с разрешимым множеством атомов и дается обобщение этой конструкции на случай произвольной характеристики $(k+1,0,1)$.