Abstract
We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra of finite width and the decidability of their elementary theories.
Similar content being viewed by others
References
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).
Goncharov S. S., “Constructivizability of superatomic Boolean algebras,” Algebra i Logika, 12, No. 1, 31–40 (1973).
Rabin M., “The theory of Boolean algebras with a distinguished subalgebra is undecidable,” Ann. Sci. Univ. Clermont 60, Math., 13, 129–134 (1976).
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).
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).
Goncharov S. S., Countable Boolean Algebras and Decidability [Russian], Nauchnaya Kniga, Novosibirsk (1996).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2016 Pal’chunov D.E. and Trofimov A.V.
The authors were supported by the Russian Foundation for Basic Research (Grant 14–07–00903-a).
Rights and permissions
About this article
Cite this article
Pal’chunov, D.E., Trofimov, A.V. Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Sib Math J 57, 1066–1076 (2016). https://doi.org/10.1134/S0037446616060136
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446616060136