Boolean algebra with distinguished subalgebra, dense subalgebra of finite width.
Similar content being viewed by others
References
A. Tarski, “Arithmetical classes and types of Boolean algebras,” Bull. Am. Math. Soc., 55, 63 (1949).
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).
Z. A. Dulatova, “Extended theories of Boolean algebras,” Sib. Mat. Zh., 25, No. 1, 201–204 (1984).
Z. A. Dulatova, “Boolean algebras with a distinguished locally finite automorphism group,” Proc. 8th All-Union Conf. Math. Logic, Moscow (1986), p. 62.
D. E. Pal’chunov, “Undecidability of theories of Boolean algebras with distinguished ideals,” Algebra Logika, 25, No. 3, 326–346 (1986).
D. E. Pal’chunov, “Countably-categorical Boolean algebras with distinguished ideals,” Preprint No. 12, Institute of Mathematics, Novosibirsk (1986).
D. E. Pal’chunov, “Finitely axiomatizable Boolean algebras with distinguished ideals,” Algebra Logika, 26, No. 4, 435–455 (1987).
S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Nauka, Moscow (1979).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by RF Federal Agency for Science and Innovations (gov. contract no. P1008) and by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (grant NSh-3606.2010.1).
Translated from Algebra i Logika, Vol. 50, No. 6, pp. 822-847, November-December, 2011.
Rights and permissions
About this article
Cite this article
Pal’chunov, D.E., Trofimov, A.V. Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra. Algebra Logic 50, 553–569 (2012). https://doi.org/10.1007/s10469-012-9165-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-012-9165-x