large ccc forcing that preserves CH - MathOverflow

large ccc forcing that preserves CH

2012-09-20T01:40:15Z

Can you name a ccc forcing with the following properties?

1) Atomless and separative

2) The least size of a dense set is large, say at least $\aleph_3$, hopefully as big as you like.

3) Existence is consistent with CH.

4) Preserves CH.

If you can think of any, please list as many as you can.

Answer by Joel David Hamkins for large ccc forcing that preserves CH

2012-09-20T02:42:00Z

Here is a way to produce examples with arbitrarily large densities.

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.

This kind of example, however, may lead you to modify the question, since it is not separative.

Answer by mbsq for large ccc forcing that preserves CH

2012-10-05T19:40:55Z

Thanks to Michael Blackmon for this idea:

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.