Cofinality-preserving forcing

ID: cofinality-preserving-forcing

A forcing is cofinality-preserving over a transitive model if every generic extension has the same cofinality for every ground ordinal. The values are compared as ordinals, which forcing preserves.

New to topics? Read the docs here!