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.
First uncountable ordinal is regular 2026-10-03
The first uncountable ordinal has cofinality . Indeed, the supremum of any countable set of countable ordinals is still a countable ordinal, so no countable sequence is cofinal in .