1. S. S. Goncharov, “Constructivizability of superatomic Boolean algebras,” Algebra Logika, 12, No. 1, 31–40 (1973).
2. N. T. Kogabaev, “Universal numbering for constructive I-algebras,” Algebra Logika, 40, No. 5, 561–579 (2001).
3. R. R. Tukhbatullina, “Autostability of the Boolean algebra $ {{\mathfrak{B}}_{\omega }} $ expanded by an automorphism,” Vestnik NGU, Mat., Mekh., Inf., 10, No. 3, 110-118 (2010).
4. S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
5. S. S. Goncharov and Yu. L. Ershov, Constructive Models, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).