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!