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

The forcing theorem has two parts. The definability lemma says that for every formula $\phi$, the relationis definable in $M$. The truth lemma says that if $G$ is generic over $M$, then