Can anyone explain what is the intuition behind the following definition?
Definition 4.25 Let $\Bbb P$ be a poset. Let $\phi(x_1,\ldots,x_n)$ be a formula, $p\in\Bbb P$, and let $\tau_1,\ldots,\tau_n$ be $\Bbb P$-names. We define $p\Vdash^*\phi(\tau_1,\ldots,\tau_n)$ by recursion on the complexity of $\phi$ as follows.
$p\Vdash^*\tau_1=\tau_2$ if and only if the following hold.
For all $\langle\pi_1,s_1\rangle\in\tau_1$, the set $$\{q: q\leq s_1\rightarrow\exists\langle\pi_2,s_2\rangle\in\tau_2(q\leq s_2\land q\Vdash^*\pi_1=\pi_2)\}$$ is dense below $p$.
For all $\langle\pi_2,s_2\rangle\in\tau_2$, the set $$\{q:q\leq s_2\rightarrow\exists\langle\pi_1,s_1\rangle\in\tau_1(q\leq s_1\land q\Vdash^*\pi_1=\pi_2)\}$$ is dense below $p$.
- $p\Vdash^*\tau_1\in\tau_2$ if and only if the set $$\{q:\exists\langle\pi,s\rangle\in\tau_2(q\leq s\land q\Vdash^*\tau_1=\pi)\}$$is dense below $p$.
- $p\Vdash^*\phi(\tau_1,\ldots,\tau_n)\land\psi(\tau_1,\ldots,\tau_n)$ if and only if $$p\Vdash^*\phi(\tau_1,\ldots,\tau_n)\text{ and }p\Vdash^*\psi(\tau_1,\ldots,\tau_n).$$
I know that the sign $p \Vdash \phi(x_1,...,x_n)$ somehow suppose to tell me that for any generic filter which contains $p$, $M[G] \models \phi(x_1,...,x_n)$. But, what is the connections to the definition here above?
Thank you
Since you already know that $\Vdash$ is defined using generic filters, and you know that a filter is generic if and only it it meets every dense set of the ground model, this becomes quite an obvious choice of definition.
We can prove by induction on the complexity of the formula, that if $p\Vdash^*\varphi(\tau)$ then $p\Vdash\varphi(\tau)$. The reason is that the atomic formulas are defined using dense sets, and as it turns out these are dense open sets. And the intersection of dense open sets [below a condition] is a dense open set [below the condition].
This means that $p\Vdash^*\varphi(\tau)$ if and only if every generic filter $G$ such that $p\in G$, has some condition below $p$ (and therefore $p$ itself) which ensures that $\varphi(\tau)$ is true. So the intuition, if I had to give any for the definition, would be that $\Vdash^*$ is defined as a condition "which occurs on dense open sets [below a condition]", and therefore it is equivalent to saying that it is realized by every generic filter [containing said condition].
Once you see the proof of the equivalence between the two relations, this becomes quite obvious. So let me add a bit of motivation instead. The reason to do that is that given a formula $\varphi(\tau)$ in the language of forcing, the statement $p\Vdash^*\varphi(\tau)$ is definable internally to the ground model. So we can ask whether or not some condition forces a formula or not, internally. So we don't have to use a generic filter in order to find out whether or a statement is independent of $\sf ZFC$.
Namely, if we have a forcing notion such that $p\Vdash^*\varphi$ and $q\Vdash^*\lnot\varphi$, then we know that $\sf ZFC$ neither proves nor disproves $\varphi$. And this can be "pulled" to arithmetical meta-theories. So instead of using $\sf ZFC$ as a meta-theory and countable transitive models of [fragments of] $\sf ZFC$, you can use something as weak as $\sf PA$, and even weaker, as your meta-theory and still prove these sort of consistency results.