Constructibility of Boolean algebras of elementary characteristic (1,0,1)

We deal with problems of finding a criterion of being strongly constructivizable for Boolean algebras. An example of a constructive but not strongly constructivizable Boolean algebra of characteristic (1, 0, 1) with a decidable set of atoms is constructed, and the construction is then generalized to the case of an arbitrary characteristic (k+1,0,1). Supported by the RFFR grant No. 96-01-01525. Translated fromAlgebra i Logika, Vol. 37, No. 5, pp. 499–521, September–October, 1998.