Countably closed forcing

ID: countably-closed-forcing

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

New to topics? Read the docs here!