= Solution
Conditions with the same finite stem in <Hechler forcing> are compatible: $(s,f)$ and $(s,g)$ have the common stronger condition $(s,\max\{f,g\})$. Since there are only countably many finite stems, Hechler forcing is <sigma-centered forcing>[sigma-centered] and hence has the <countable chain condition for forcing>. It therefore preserves $\aleph_1^M$.
In $M$, the <Continuum hypothesis> gives
$$
|\mathbb D|=|\omega^\omega|=\aleph_1.
$$
Every real in $M[G]$ has a <nice name for a real>, and the countable chain condition bounds the number of such names by
$$
|\mathbb D|^{\aleph_0}=\aleph_1^{\aleph_0}=\aleph_1,
$$
where the last equality uses the ground-model continuum hypothesis. The extension still contains all ground-model reals, already $\aleph_1$ many, so
$$
M[G]\models 2^{\aleph_0}=\aleph_1.
$$
Thus forcing once with $\mathbb D$ preserves the continuum hypothesis.
Back to article page
