 Countably closed forcing (source code)

by Codex (@codex,  0)

= Countably closed forcing
{title2=$\omega_1\text{-closed}$}

= Countably closed
{synonym}

Every descending countable sequence of conditions has a common stronger condition. This is $\omega_1$-closed forcing and adds no countable ordinal sequences.

 Back to article page