Downward absoluteness of cardinalhood
ID: downward-absoluteness-of-cardinalhood
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.
New to topics? Read the docs here!