5
$\begingroup$

We know that if we start with a ctm $\mathbb{B}$ and force with the poset of finite functions from $\omega$ to $2$, we add a single Cohen real. We also know that if we force with the poset $\mathbb{P} = Fn(\kappa \times \omega, 2, \aleph_0)$, we add $\kappa$ many reals (and hence can make the Continuuum Hypothesis fail).

What happens if instead we iterate adding one real $\kappa$ many times? Would we still get a model for not-CH?

  • 1
    @AsafKaragila I think that when you discover that you have continuum many cockroaches, it's time to move.2012-11-30

1 Answers 1

4

Note that the definition of a Cohen forcing as $2^{<\omega}$ does not change between models.

Iterating it $\kappa$ many times, or taking the product of $\kappa$ many Cohen posets, or using $\mathbb P$ as you defined it -- all of these have the same consequence.

So to your question, yes. A finite-support iteration of length $\kappa$ of adding a single Cohen at a time would end up with a model of $\lnot$CH.

  • 1
    @Kris, the issue is that explaining precisely what one means by "the naive way" may be a bit problematic. For example, you could have $M_0\subseteq M_1\subseteq M_2\subseteq\dots $ models of set theory, each $M_{i+1}$ an extension of $M_i$ by Cohen forcing, and yet $M_\omega=\bigcup_n M_n$ is not a model of set theory. Once one sees how to do iterations "internally" these worries disappear, but there are several options on how to proceed. (It is a very interesting topic.)2012-11-29