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
    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
    0 references
    isomorphism
    0 references
    chain condition
    0 references
    embedding
    0 references
    quotient algebra
    0 references
    Boolean algebra
    0 references