П. Е. Алаев, “Сильно конструктивные булевы алгебры”, Алгебра и логика, 44:1 (2005), 3–23 ; P. E. Alaev, “Strongly constructive Boolean algebras”, Algebra and Logic, 44:1 (2005), 1–12
П. М. Семухин, “Спектры степеней определимых отношений на булевых алгебрах”, Сиб. матем. журн., 46:4 (2005), 928–941 ; P. M. Semukhin, “The degree spectra of definable relations on Boolean algebras”, Siberian Math. J., 46:4 (2005), 740–750
П. Е. Алаев, “Разрешимые булевы алгебры характеристики $(1,0,1)$”, Матем. тр., 7:1 (2004), 3–12 ; P. E. Alaev, “Decidable Boolean Algebras of Characteristic $(1,0,1)$”, Siberian Adv. Math., 15:1 (2005), 1–10
I. Kalantari, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 515
S.P. Odintsov, Studies in Logic and the Foundations of Mathematics, 139, Handbook of Recursive Mathematics - Volume 2: Recursive Algebra, Analysis and Combinatorics, 1998, 1319
S.S. Goncharov, “Decidable Boolean algebras of low level”, Annals of Pure and Applied Logic, 94:1-3 (1998), 75
В. Н. Власов, “Конструктивизируемость булевых алгебр элементарной характеристики $(1,0,1)$”, Алгебра и логика, 37:5 (1998), 499–521 ; V. N. Vlasov, “Constructivizability of Boolean algebras of elementary characteristic $(1,0,1)$”, Algebra and Logic, –
Yu.L. Ershov, S.S. Goncharov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 115