If is a regular cardinal and has the -chain condition, then forcing with preserves every cardinal number and cofinality at least . Indeed, a proposed surjection with has its range contained in from the possible-values lemma for chain-condition forcing. The regularity of and infinite cardinal arithmetic make this union have cardinality below the ground-model cardinal , a contradiction.
Articles by others on the same topic
There are currently no matching articles.