large ccc forcing that preserves CH - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T08:33:45Z http://mathoverflow.net/feeds/question/107637 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/107637/large-ccc-forcing-that-preserves-ch large ccc forcing that preserves CH mbsq 2012-09-20T01:40:15Z 2012-10-05T19:40:55Z <p>Can you name a ccc forcing with the following properties?</p> <p>1) Atomless and separative</p> <p>2) The least size of a dense set is large, say at least $\aleph_3$, hopefully as big as you like.</p> <p>3) Existence is consistent with CH.</p> <p>4) Preserves CH.</p> <p>If you can think of any, please list as many as you can.</p> http://mathoverflow.net/questions/107637/large-ccc-forcing-that-preserves-ch/107643#107643 Answer by Joel David Hamkins for large ccc forcing that preserves CH Joel David Hamkins 2012-09-20T02:42:00Z 2012-09-20T02:42:00Z <p>Here is a way to produce examples with arbitrarily large densities. </p> <p>Let $\mathbb{P}$ be any c.c.c. forcing that preserves CH, such as the forcing to add a Cohen real, and let $\mathbb{Q}=\kappa^\ast$ be the decreasing linear order of length $\kappa$, a large regular cardinal. Consider the product partial order $\mathbb{P}\times\mathbb{Q}$ as a notion of forcing. This is still c.c.c., since all conditions in the second coordinate are compatible as it is linear. But every dense set must also be dense in the second coordinate and therefore have size at least $\kappa$. Since the second coordinate is trivial as a forcing notion, the product $\mathbb{P}\times\mathbb{Q}$ is forcing equivalent to $\mathbb{P}$, which preserves CH, and so $\mathbb{P}\times\mathbb{Q}$ has all your desired properties.</p> <p>This kind of example, however, may lead you to modify the question, since it is not separative. </p> http://mathoverflow.net/questions/107637/large-ccc-forcing-that-preserves-ch/108952#108952 Answer by mbsq for large ccc forcing that preserves CH mbsq 2012-10-05T19:40:55Z 2012-10-05T19:40:55Z <p>Thanks to Michael Blackmon for this idea:</p> <p>If P has the ccc and preserves CH, then there is a contiuum sized regular suborder R that adds all the reals P will add. The factor forcing P/R is ccc and $\omega$-distributive, a Suslin algebra. A theorem (of Jech?) says that any Suslin algebra has size at most $2^{\omega_1}$. So there is a bound on the size of P.</p>