Разрешимые булевы алгебры характеристики $(1,0,1)$

Доказывается, что любая 2-конструктивная булева алгебра элементарной характеристики $(1,0,1)$ является сильно конструктивизируемой (разрешимой). Это завершает исследование связи $n$-конструктивности и сильной конструктивности для булевых алгебр характеристик $(0,*,*)$ и $(1,*,*)$. Предлагается также описание 3-конструктивных булевых алгебр через некоторый $\Delta^2_0$-вычислимый инвариант.