A subset of a forcing order is centered when every finite collection of its conditions has a common stronger extension.
A forcing order is sigma-centered when it is the union of countably many centered subsets. Every sigma-centered forcing has the countable chain condition for forcing.
Articles by others on the same topic
There are currently no matching articles.