On question \(Q\)47 (Q1814162): Difference between revisions

\({\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)\).