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!