Skip to main content
    • Aa
    • Aa

Elementary embeddings and infinitary combinatorics

  • Kenneth Kunen (a1)

One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings, j, from the universe, V, into some transitive submodel, M. See Reinhardt–Solovay [7] for more details. If j is not the identity, and κ is the first ordinal moved by j, then κ is a measurable cardinal. Conversely, Scott [8] showed that whenever κ is measurable, there is such j and M. If we had assumed, in addition, that , then κ would be the κth measurable cardinal; in general, the wider we assume M to be, the larger κ must be.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[3] K. Gödel , The consistency of the continuum hypothesis, Princeton Univ. Press, Princeton, 1940.

[5] K. Kunen , Some applications of iterated ultrapowers in set theory, Annals of Mathematical Logic, vol. 1 (1970), pp. 179227.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 1 *
Loading metrics...

Abstract views

Total abstract views: 109 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd August 2017. This data will be updated every 24 hours.