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!
New to topics? Read the docs here!