A Boolean algebra with few subalgebras, interval Boolean algebras and retractiveness
HTML articles powered by AMS MathViewer
 by Matatyahu Rubin PDF
 Trans. Amer. Math. Soc. 278 (1983), 6589 Request permission
Abstract:
Using ${\diamondsuit _{{\aleph _1}}}$ we construct a Boolean algebra $B$ of power ${\aleph _1}$, with the following properties: (a) $B$ has just ${\aleph _1}$ subalgebras. (b) Every uncountable subset of $B$ contains a countable independent set, a chain of order type $\eta$, and three distinct elements $a,b$ and $c$, such that $a \cap b = c$. (a) refutes a conjecture of J. D. Monk, (b) answers a question of R. McKenzie. $B$ is embeddable in $P(\omega )$. A variant of the construction yields an almost Jónson Boolean algebra. We prove that every subalgebra of an interval algebra is retractive. This answers affirmatively a conjecture of $\text {B}$. Rotman. Assuming $\text {MA}$ or the existence of a Suslin tree we find a retractive $\text {BA}$ not embeddable in an interval algebra. This refutes a conjecture of B. Rotman. We prove that an uncountable subalgebra of an interval algebra contains an uncountable chain or an uncountable antichain. Assuming $\text {CH}$ we prove that the theory of Boolean algebras in Magidor’s and Malitz’s language is undecidable. This answers a question of M. Weese.References

R. Bonnet, On very strongly rigid Boolean algebras and continuum discrete set condition on Boolean algebras. I, II, Algebra Universalis (submitted).
—, On very strongly rigid Boolean algebras and continuum discrete set condition on Boolean algebras. III, J. Symbolic Logic (submitted).
J. Baumgartner, Private communications.
—, Chains and antichains in Boolean algebras, preprint. Antichains in Boolean algebras, preprint.
J. Baumgartner and R. Komjáth, Boolean algebras in which every chain and antichain is countable (submitted).
E. Berny and P. Nyikos, Length width and breadth of Boolean algebras, Notices Amer. Math. Soc. 24 (1977); Abstract 7420611.
E. van Douwen, Ph. D. dissertation, Free University, Amsterdam, 1975.
 Eric K. van Douwen, Simultaneous linear extension of continuous functions, General Topology and Appl. 5 (1975), no. 4, 297–319. MR 380715
 Eric K. van Douwen, J. Donald Monk, and Matatyahu Rubin, Some questions about Boolean algebras, Algebra Universalis 11 (1980), no. 2, 220–243. MR 588216, DOI 10.1007/BF02483101 F. Galvin, Private communications. R. McKenzie, Private communications.
 Menachem Magidor and Jerome Malitz, Compact extensions of $L(Q)$. Ia, Ann. Math. Logic 11 (1977), no. 2, 217–261. MR 453484, DOI 10.1016/00034843(77)900195
 B. Rotman, Boolean algebras with ordered bases, Fund. Math. 75 (1972), no. 2, 187–197. MR 302527, DOI 10.4064/fm752187197 M. Rubin, Some results in Boolean algebras, Notices Amer. Math. Soc. 24 (1977).
 Saharon Shelah, Boolean algebras with few endomorphisms, Proc. Amer. Math. Soc. 74 (1979), no. 1, 135–142. MR 521887, DOI 10.1090/S00029939197905218877 —, An uncountable construction, Israel J. Math. (to appear).
 Martin Weese, The decidability of the theory of Boolean algebras with cardinality quantifiers, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25 (1977), no. 2, 93–97 (English, with Russian summary). MR 434774
Additional Information
 © Copyright 1983 American Mathematical Society
 Journal: Trans. Amer. Math. Soc. 278 (1983), 6589
 MSC: Primary 06E05; Secondary 03E35, 03G05
 DOI: https://doi.org/10.1090/S00029947198306970616
 MathSciNet review: 697061