Abstract
Studying Boolean algebras with distinguished subalgebras, we establish the existence of continuum many simple superatomic Boolean algebras with distinguished subalgebra whose elementary theories are distinct and each of them lacks countably saturated models. The subalgebras coincide with the Boolean algebras modulo their Fréchet ideals.
Similar content being viewed by others
References
Chang C. C. and Keisler H. J., Model Theory, North-Holland, Amsterdam and London (1973).
Goncharov S. S., Countable Boolean Algebras and Decidability [Russian], Nauchnaya Kniga, Novosibirsk (1997).
Palchunov D. E., “Undecidability of theories of Boolean algebras with selected ideals,” Algebra and Logic, vol. 25, no. 3, 206–219 (1986).
Palchunov D. E., “Countably-categorical Boolean algebras with distinguished ideals,” Studia Logica, vol. XLVI, no. 2, 121–135 (1987).
Palchunov D. E., “Finitely axiomatizable Boolean algebras with distinguished ideals,” Algebra and Logic, vol. 26, no. 4, 252–266 (1987).
Palchunov D. E., “Direct summands of Boolean algebras with distinguished ideals,” Algebra and Logic, vol. 31, no. 5, 295–316 (1992).
Palchunov D. E., “Prime and countably saturated models of the theory of Boolean algebras with distinguished ideals,” Tr. Inst. Mat. (Novosibirsk), vol. 25, 82–103 (1993).
Palchunov D. E., “The theory of Boolean algebras with distinguished ideals without a prime model,” Tr. Inst. Mat. (Novosibirsk), vol. 25, 104–132 (1993).
Palchunov D. E., Trofimov A. V., and Turko A. I., “Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals,” Sib. Math. J., vol. 56, no. 3, 490–498 (2015).
Palchunov D. E. and Trofimov A. V., “Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra,” Algebra and Logic, vol. 50, no. 6, 553–569 (2011).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Russian Text © The Author(s), 2020, published in Sibirskii Matematicheskii Zhurnal, 2020, Vol. 61, No. 3, pp. 654–668.
Rights and permissions
About this article
Cite this article
Palchunov, D.E., Trofimov, A.V. The Theories of Superatomic Boolean Algebras with Distinguished Subalgebra Which Lack Countably Saturated Models. Sib Math J 61, 516–527 (2020). https://doi.org/10.1134/S0037446620030131
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446620030131