1. A. Tarski, “Arithmetical classes and types of Boolean algebras,” Bull. Am. Math. Soc., 55, 63 (1949).
2. Yu. L. Ershov, “Decidability of the elementary theory for relatively complemented distributive lattices and of the filter theory,” Algebra Logika, 3, No. 3, 17–38 (1964).
3. Z. A. Dulatova, “Extended theories of Boolean algebras,” Sib. Mat. Zh., 25, No. 1, 201–204 (1984).
4. Z. A. Dulatova, “Boolean algebras with a distinguished locally finite automorphism group,” Proc. 8th All-Union Conf. Math. Logic, Moscow (1986), p. 62.
5. D. E. Pal’chunov, “Undecidability of theories of Boolean algebras with distinguished ideals,” Algebra Logika, 25, No. 3, 326–346 (1986).