On question \(Q\)47 (Q1814162)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On question \(Q\)47 |
scientific article |
Statements
On question \(Q\)47 (English)
0 references
25 June 1992
0 references
\({\mathcal L}(\kappa)\) is the quotient algebra \({\mathcal P}(\kappa)/[\kappa]^{<\kappa}\). Which Boolean algebras embed in or are isomorphic to \({\mathcal L}(\kappa)\)? In particular: Question. If \(\kappa\neq\lambda\), can \({\mathcal L}(\kappa)\) be isomorphic to \({\mathcal L}(\lambda)\)? Under GCH the answer is easily seen to be no. The main theorem of this paper is: Theorem. There is at most one \(n\) so that \({\mathcal L}(\kappa)\) is isomorphic to \({\mathcal L}(\omega_ n)\) for some \(\kappa\neq\omega_ n\). Other theorems included: Theorem. \(\neg\)CH implies that \({\mathcal L}(\kappa)\) is not isomorphic to \({\mathcal L}(\omega_ 1)\) for \(\kappa\neq\omega_ 1\). Theorem. \(\neg\)CH implies that there is some Boolean algebra of size at most \(\omega_ 2\) which does not embed into \({\mathcal L}(\omega_ 1)\).
0 references
isomorphism
0 references
chain condition
0 references
embedding
0 references
quotient algebra
0 references
Boolean algebra
0 references