For a measure ultrapower with critical point , there are at most equivalence classes of functions , so in . The target regards as measurable and contains , so it sees . Under the Generalized continuum hypothesis, this places strictly above the ambient while its ambient cardinality is at most ; hence it is not an ambient cardinal.
Articles by others on the same topic
There are currently no matching articles.