Cardinal-preserving forcing
= Cardinal-preserving forcing
A forcing order preserves cardinals over a ground model if every ground-model <cardinal number> remains a cardinal in every <generic extension>. This assertion and any sufficient <chain condition for forcing> are evaluated inside the ground model. External countability of a <countable transitive model> does not make all of its forcing orders internally ccc.