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!