Let be a transitive set of cardinality that models enough set theory and contains . The internal successor cardinal is an ordinal in , so transitivity gives and hence externally. Although regards as a cardinal number, an ambient rank containing a bijection between and does not. Cardinalhood can therefore fail to be absolute even between transitive models.
Articles by others on the same topic
There are currently no matching articles.