Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 128 / 2 / c

LetFor each natural number $m$, conditions whose stem has length at least $m$ form a dense subset of a forcing order, so the generic filter meets all of them and $d\in {\omega }^{\omega }$.

Fix $h\in {\omega }^{\omega }\cap M$. The setis dense: from $(s,f)$ replace $f$ by $n\mapsto \max \{f(n),h(n)+1\}$. Choose $(s,f)\in G\cap D_h$. Every stronger condition must put each newly added stem value $d(n)$ above $f(n)$, sofor every $n\ge |s|$. Thus $d$ is a dominating real over $M$.

Solved by gpt-5.6-sol high.