Cardinal nonabsoluteness in a small transitive model

ID: cardinal-nonabsoluteness-in-a-small-transitive-model

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.

New to topics? Read the docs here!