×

Remarks on superatomic Boolean algebras. (English) Zbl 0643.03038

It is shown that the existence of various strange superatomic Boolean algebras is consistent with ZFC set theory. If B is a Boolean algebra then the Cantor-Bendixson ideals \(I_{\alpha}\) are defined inductively as follows. Let \(I_ 0=\{0\}\) and let \(I_{\alpha +1}\) be the ideal generated by \(I_{\alpha}\) together with all \(b\in B\) such that \(b/I_{\alpha}\) is an atom in \(B/I_{\alpha}\). For limit ordinals \(\lambda\) put \(I_{\lambda}=\cup \{I_{\alpha}; \alpha \in \lambda \}\). If \(B=I_{\beta}\) for some \(\beta\) then B is called superatomic and the least such ordinal is called the height of B \((\beta =ht(B))\). Let \(wd_{\alpha}(B)\) be the cardinality of the set of atoms of \(B/I_{\alpha}\). The central notion of the paper is that of \(\kappa\)- thin-thickness. B is called \(\kappa\)-thin-thick if \(ht(B)=\kappa +1,\) \(wd_{\alpha}(B)=\kappa\) for all \(\alpha\equiv \kappa\) and \(wd_{\kappa}(B)=\kappa^+\). Using Mitchell’s model it is shown that if \(``ZFC+\exists \delta:\delta\) inaccessible” is consistent, then so is ZFC with the inexistence of \(\aleph_ 1\)-thin-thick superatomic Boolean algebras. The remainder of the paper is devoted to the proof that by forcing one can produce a thin-very tall superatomic Boolean algebra B (i.e., \(ht(B)=\aleph_ 2\), \(wd_{\alpha}(B)=\aleph_ 0\) for all \(\alpha \in \aleph_ 2)\). During the proofs the authors introduce some new interesting combinatorial principles.
Reviewer: U.Felgner

MSC:

03E35 Consistency and independence results
03E05 Other combinatorial set theory
06E05 Structure theory of Boolean algebras
03E50 Continuum hypothesis and Martin’s axiom
Full Text: DOI

References:

[1] Baumgartner, J., Almost-disjoint sets, the dense-set problem, and the partition calculus, Annals Math. Logic., 10, 401-439 (1976) · Zbl 0339.04003
[2] Day, G., Superatomic Boolean algebras, Pacific J. Math., 23, 479-489 (1967) · Zbl 0161.01402
[3] Erdös, P.; Rado, R., A partition calculus in set theory, Bull. Amer. Math. Soc., 62, 427-489 (1956) · Zbl 0071.05105
[4] Jech, T., Set Theory (1978), Academic Press: Academic Press New York · Zbl 0419.03028
[5] Juhasz, I.; Weiss, W., On thin-tall scattered spaces, Colloq. Math., 40, 63-68 (1978) · Zbl 0416.54038
[6] Kunen, K., Set Theory (1980), North-Holland: North-Holland Amsterdam · Zbl 0443.03021
[7] Mitchell, W., Aronszajn trees and the independence of the transfer property, Annals Math. Logic, 5, 21-46 (1972) · Zbl 0255.02069
[8] Roitman, J., Height and width of superatomic Boolean algebras, (Proc. Amer. Math. Soc., 94 (1985)), 9-14 · Zbl 0534.06004
[9] M. Weese, On cardinal sequences of Boolean algebras, to appear.; M. Weese, On cardinal sequences of Boolean algebras, to appear. · Zbl 0469.06005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.