Author:
Pal’chunov D. E.,Trofimov A. V.
Reference6 articles.
1. Ershov Yu. L., “Decidability of the elementary theory of distributive structures with relative complements and the theory of filters,” Algebra i Logika, 3, No. 3, 17–38 (1964).
2. Goncharov S. S., “Constructivizability of superatomic Boolean algebras,” Algebra i Logika, 12, No. 1, 31–40 (1973).
3. Rabin M., “The theory of Boolean algebras with a distinguished subalgebra is undecidable,” Ann. Sci. Univ. Clermont 60, Math., 13, 129–134 (1976).
4. Pal’chunov D. E. and Trofimov A. V., “Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra,” Algebra and Logic, 50, No. 6, 553–569 (2011).
5. Pal’chunov D. E. and Trofimov A. V., “Automorphisms of boolean algebras definable by fixed elements,” Algebra and Logic, 51, No. 5, 415–424 (2012).