# Is $M=\bigcap_G M[G]$?

Assume that $M$ is a countable transitive model of ZFC and $P\in M$ is a forcing notion. Denote $N=\bigcap_G M[G]$ the intersection of all generic extensions of $M$ where $G$ runs through all $P$-generic filters over $M$. Is then $M=N$?

We clearly have $M\subseteq N$. To prove $N\subseteq M$ we should find, for any generic filter $G$ and any set $x\in M[G]\setminus M$, a generic filter $H$ such that $x\notin M[H]$. Is there a way how to define a generic filter so that the corresponding generic extension avoids some specific set?

This is indeed true, i.e. $\bigcap_{G} M[G] = M$. To see this first consider the following lemma:

Lemma. Suppose $\tau_1,\tau_2$ are $P$ names in $M$ for subsets of $M$ and suppose that there is $(p,q) \in P \times P$ so that $(p,q) \Vdash \tau_1[\dot G] = \tau_2[\dot K]$, where $\dot G$, $\dot K$ are such that $G \times K$ is the $P \times P$ generic. Then there is $A \in M$ so that $p \Vdash \tau_1 = A$.

Proof. Suppose $p$ does not decide for all $x \in M$ whether $x \in \tau_1$ or not (else $p \Vdash \{ x \in M : p \Vdash x \in \tau_1 \} = \tau_1$ and this set is in $M$). This means that there is some $x \in M$ and $r,r' \leq p$ so that $r \Vdash x \in \tau_1$ and $r' \Vdash x \notin \tau_1$. Now extend $q$ to $s$ to decide whether $x \in \tau_2$ or not. But then either $(r,s)$ or $(r',s)$ contradicts that $(p,q) \Vdash \tau_1[\dot G] = \tau_2[\dot K]$.

Now I claim that whenever $G \times K$ is $P \times P$ generic over $M$, then $M[G] \cap M[K] = M$. I will prove this by induction on the rank of a set in $M[G] \cap M[K]$:

Suppose we know for all sets $x$ of rank $<\alpha$ that $x \in M[G] \cap M[K]$ implies $x \in M$. Now suppose $A$ is a set in $M[G] \cap M[K]$ of rank $\alpha$ (i.e. its elements have rank $<\alpha$ and are thus in $M$). Then are $P$ names $\tau_1, \tau_2$ so that $\tau_1[G] = \tau_2[K] = A$. But this is forced by some $(p,q) \in P \times P$, i.e. $(p,q) \Vdash \tau_1[G] = \tau_2[K] \subseteq M_\alpha$. But by the lemma above this means that $A \in M$.

Edit: I have changed the proof a bit and I think it is clearer now. It is also nicer because it does not require choice.

• Thank you for a nice argument. It looks like a good exercise in the product forcing and I am almost convinced. However, I have a problem with the Lemma. I understand that $p\in G$ is such that it decides whether $\alpha\in\tau_1$, for any $P$-name $\alpha$ (not just the ordinals). How can I conclude that $\tau_1[G]$ is in $M$? Apr 12, 2018 at 18:31
• ... Sorry for deleting my previous comment. It suggested to define $A=\{\alpha\in\mathrm{Ord}\!:\ p\Vdash\check\alpha\in\tau_1\}$. Vopenka-Balcar theorem says that if models $M_1$, $M_2$ are both extensions of $M$, have the same ordinals as $M$, and have the same sets of ordinals, then $M_1=M_2$. It seems to me that the use of this theorem is essential in your proof. Apr 12, 2018 at 19:47
• Now I can see the difference: we have to prove that there is no set in $(M[G]\cap M[K])\setminus M$, not just a set of ordinals. But if such set exists then we can take one which has the minimum rank; it is then a subset of $M$, and we can proceed by your argument. I really like it! Apr 12, 2018 at 21:06