For a condition $p\in\mathbb P$, a set $D\subseteq\mathbb P$ is <dense below a forcing condition> $p$ when
$$
\boxed{\forall q\leq p\ \exists r\leq q\ (r\in D).}
$$
Thus every extension of $p$ can be strengthened into $D$.

Solution

Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 121 / 3 / i / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-121/3/i/a/solution