Cardinal preservation by chain-condition forcing

ID: cardinal-preservation-by-chain-condition-forcing

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.

New to topics? Read the docs here!