One of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. We introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. These new axioms serve to further our knowledge about the elementary embedding properties of smaller large cardinals, in particular those still consistent with (...) V = L. (shrink)

Using the lottery preparation, we prove that any strongly unfoldable cardinal $\kappa$ can be made indestructible by all.

Applying the seed concept to Prikry tree forcing P μ , I investigate how well P μ preserves the maximality property of ordinary Prikry forcing and prove that P μ Prikry sequences are maximal exactly when μ admits no non-canonical seeds via a finite iteration. In particular, I conclude that if μ is a strongly normal supercompactness measure, then P μ Prikry sequences are maximal, thereby proving, for a large class of measures, a conjecture of W. Hugh Woodin's.

The large cardinal axioms of the title assert, respectively, the existence of a nontrivial elementary embedding j:Vλ→Vλ, the existence of such a j which is moreover , and the existence of such a j which extends to an elementary j:Vλ+1→Vλ+1. It is known that these axioms are preserved in passing from a ground model to a small forcing extension. In this paper the reverse directions of these preservations are proved. Also the following is shown : if V is a model (...) of ZFC and V[G] is a -generic forcing extension of V, then in V[G], V is definable using the parameter Vδ+1, where. (shrink)