Complete embeddings of the Cohen algebra into three families of c.c.c., non-measurable Boolean algebras.
The question is: which ccc forcings necessarily add Cohen reals? It is known that measure algebras do not. This paper shows that three classes of ccc forcings which are not measure algebras do add Cohen reals: Galvin-Hajnal algebras (in fact, they add cf \(2^{\omega}\) many), Argyros algebras, and the atomless Gaifman algebras (or their atomless parts). In some sense these results are negative: von Neumann conjectured that a Boolean \(\sigma\)-algebra with ccc and the weak \((\omega,\omega)\)-distributive law is a measure algebra. The completions of the Galvin-Hajnal, Argyros, and Gaifman algebras are complete ccc algebras which fail to satisfy certain conditions that measure algebras satisfy, hence were candidates for counterexamples. But the results of this paper show that the weak \((\omega,\omega)\)-distributive law fails in these algebras.
- How special are Cohen and random forcings, i. e. Boolean algebras of the family of subsets of reals moduli meagre or null
- ccc forcing and splitting reals
- The hyper-weak distributive law and a related game in Boolean algebras
- Maharam algebras and Cohen reals
- A Modification of Shelah's Oracle-C.C. with Applications
- scientific article; zbMATH DE number 1548939 (Why is no real title available?)
- scientific article; zbMATH DE number 1445843 (Why is no real title available?)
This page was built for publication: Complete embeddings of the Cohen algebra into three families of c.c.c., non-measurable Boolean algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1880128)
