On \(L_{\infty{}\kappa{}}\)-free Boolean algebras (Q1184714)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On \(L_{\infty{}\kappa{}}\)-free Boolean algebras
scientific article

    Statements

    On \(L_{\infty{}\kappa{}}\)-free Boolean algebras (English)
    0 references
    0 references
    0 references
    0 references
    28 June 1992
    0 references
    A Boolean algebra \(B\) is \(L_{\infty\kappa}\)-free iff \(B\) is \(L_{\infty\kappa}\)-equivalent to a free Boolean algebra. This notion is studied in detail. The authors also consider the following notion of freeness: \(B\) is \(\kappa\)-free if the set of free subalgebras of \(B\) of size \(<\kappa\) contains a club set in \([B]^{<\kappa}\). It turns out that the notion of projectivity gives a good tool to investigate \(L_{\infty\kappa}\)-free Boolean algebras. It is shown that there are \(L_{\infty\kappa}\)-free non-free Boolean algebras for \(\kappa=\omega_ 1\) or \(\omega_ 2\). Every \(L_{\infty\kappa}\)-free Boolean algebra of size \(\omega_ 2\) is \(\omega_ 2\)-free. The authors investigate which Boolean algebras can be embedded into an \(L_{\infty\kappa}\)-free Boolean algebra. They try to characterize those Boolean algebras which can be forced to be free.
    0 references
    0 references
    free Boolean algebra
    0 references
    club set
    0 references
    projectivity
    0 references
    0 references
    0 references