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

В работе доказывается, что конструктивная булева алгебра с элементарной характеристикой, равной $(1,1,0)$, является сильно конструктивизируемой при разрешимости множества атомов и идеала Ершова–Тарского, причем показывается, что отказаться от условия на разрешимость множества атомов нельзя.