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.
Articles by others on the same topic
There are currently no matching articles.