Dominating real
= Dominating real
A function $d\in\omega^\omega$ dominates $h\in\omega^\omega$ when $d(n)>h(n)$ for all but finitely many $n$. A dominating real over a ground model dominates every such function belonging to that model.
= Dominating real
A function $d\in\omega^\omega$ dominates $h\in\omega^\omega$ when $d(n)>h(n)$ for all but finitely many $n$. A dominating real over a ground model dominates every such function belonging to that model.