Dorzhieva V M., Issakhov A.A., Kalmurzayev B.S., Kornev R.A., Kotov V M., “Punctual Dimension of Algebraic Structures in Certain Classes”, Lobachevskii J. Math., 42:4, SI (2021), 716–725
П. Е. Алаев, “Категоричность для примитивно рекурсивных и полиномиальных булевых алгебр”, Алгебра и логика, 57:4 (2018), 389–425 ; P. E. Alaev, “Categoricity for primitive recursive and polynomial Boolean algebras”, Algebra and Logic, 57:4 (2018), 251–274
М. Н. Леонтьева, “Сильная конструктивизируемость булевых алгебр элементарной характеристики $(\infty,0,0)$”, Алгебра и логика, 53:2 (2014), 185–205 ; M. N. Leontieva, “Strong constructivizability of Boolean algebras of elementary characteristic $(\infty,0,0)$”, Algebra and Logic, 53:2 (2014), 119–132
N. A. Bazhenov, “Δ 2 0 -Categoricity of Boolean Algebras”, J Math Sci, 203:4 (2014), 444
Н. А. Баженов, “О $\Delta^0_2$-категоричности булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013), 3–14
М. Н. Леонтьева, “Минимальность некоторых условий разрешимости для булевых алгебр”, Сиб. матем. журн., 53:1 (2012), 132–147 ; M. N. Leontyeva, “The minimality of certain decidability conditions for Boolean algebras”, Siberian Math. J., 53:1 (2012), 106–118
M. N. Leontyeva, “The existence of strongly computable representations in the class of Boolean algebras”, Dokl. Math., 86:1 (2012), 469
М. Н. Леонтьева, “Дoстаточные условия разрешимости для булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 63–68 ; M. N. Leontyeva, “Sufficient Conditions of Decidability of Boolean Algebras”, J. Math. Sci., 195:6 (2013), 827–831
П. Е. Алаев, “Сильно конструктивные булевы алгебры”, Алгебра и логика, 44:1 (2005), 3–23 ; P. E. Alaev, “Strongly constructive Boolean algebras”, Algebra and Logic, 44:1 (2005), 1–12
П. Е. Алаев, “Разрешимые булевы алгебры характеристики $(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