The <forcing theorem> has two parts. The definability lemma says that for every formula $\varphi$, the relation
$$
p\Vdash_M\varphi(\tau_1,\ldots,\tau_n)
$$
is definable in $M$. The truth lemma says that if $G$ is generic over $M$, then
$$
\boxed{M[G]\models\varphi(\tau_1^G,\ldots,\tau_n^G)
\iff
\exists p\in G\;p\Vdash_M\varphi(\tau_1,ldots,\tau_n).}
$$

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 128 / 3 / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-128/3/a/solution