Hechler forcing
= Hechler forcing
{c}
{wiki}
A Hechler condition is a pair $(s,f)$ consisting of a finite sequence $s\in\omega^{<\omega}$ and a function $f\in\omega^\omega$. An extension lengthens the stem, increases the side function, and places every new stem value above the old side function. The generic union is a <dominating real>.