Why is the ground model set of reals nonmeager in the Cohen extension?

145 Views Asked by At

To be more precise, I want to add a Cohen real to a ground model $V$ of ZFC and then show that for each open interval $(a,b)$, the set $V \cap (a,b)$ is nonmeager in the extension.

Thanks in advance.

EDIT: Actually, I found a proof in some lecture notes. I just need a reference to a paper where one can find the theorem.

1

There are 1 best solutions below

1
On

Shameless self-promotion: My chapter "Combinatorial cardinal characteristics of the continuum" in the Handbook of Set Theory, vol. 1, has this result in Section 11.3, at the bottom of page 472. You can download a version of the chapter from my web site at http://www.math.lsa.umich.edu/~ablass/hbk.pdf .