If a larger transitive model regards an ordinal as a cardinal number, then a smaller transitive model does too: any bijection in the smaller model witnessing otherwise would remain in the larger one. The converse can fail when the larger model contains a new bijection between and a smaller ordinal.
Articles by others on the same topic
There are currently no matching articles.