A forcing order is -closed when every decreasing sequence of conditions of length below has a lower bound. Countably closed forcing adds no new countable sequences of ground-model elements and in particular adds no new real numbers.
Articles by others on the same topic
There are currently no matching articles.