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!