On \(L_{\infty{}\kappa{}}\)-free Boolean algebras (Q1184714): Difference between revisions

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.