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!