The Journal of Symbolic Logic

Research Article

Elementary embeddings and infinitary combinatorics

Kenneth Kunen 1

University of Wisconsin, Madison, Wisconsin

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.

(Received May 10 1970)


1   The author is a fellow of the Alfred P. Sloan Foundation. Financial support received also from NSF Grant GP 14569.