Cardinal preservation by closed forcing
ID: cardinal-preservation-by-closed-forcing
A -closed forcing order preserves a ground-model cardinal number , even when it is singular. A proposed surjection from an ordinal below to would be an old function because closed forcing adds no short ordinal sequences, contradicting old cardinalhood. This concerns and smaller cardinals; closure alone does not supply preservation of all larger cardinals.
New to topics? Read the docs here!