We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author’s thesis of a model with no ω2-Aronszajn trees, and also the “Key Lemma” in Hamkins’ gap forcing theorems. The new lemma directly yields Hamkins’ newer lemma stating that certain forcing notions have the approximation property.

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)

A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class forcing extension which satisfies it. The Ground Axiom is independent of many well-known set-theoretic assertions including the Generalized Continuum Hypothesis, the assertion V=HOD that every set is ordinal definable, and the existence of measurable and supercompact cardinals. The related Bedrock Axiom, asserting that the (...) universe is a set forcing extension of a model satisfying the Ground Axiom, is also first-order expressible, and its negation is consistent. (shrink)

I provide indestructibility results for large cardinals consistent with V = L, such as weakly compact, indescribable and strongly unfoldable cardinals. The Main Theorem shows that any strongly unfoldable cardinal κ can be made indestructible by <κ-closed. κ-proper forcing. This class of posets includes for instance all <κ-closed posets that are either κ -c.c, or ≤κ-strategically closed as well as finite iterations of such posets. Since strongly unfoldable cardinals strengthen both indescribable and weakly compact cardinals, the Main Theorem therefore makes (...) these two large cardinal notions similarly indestructible. Finally. I apply the Main Theorem forcing extension preserving all strongly unfoldable cardinals in which every strongly unfoldable cardinal κ is indestructible by <κ-closed. κ-proper forcing. (shrink)

The lottery preparation, a new general kind of Laver preparation, works uniformly with supercompact cardinals, strongly compact cardinals, strong cardinals, measurable cardinals, or what have you. And like the Laver preparation, the lottery preparation makes these cardinals indestructible by various kinds of further forcing. A supercompact cardinal κ, for example, becomes fully indestructible by <κ-directed closed forcing; a strong cardinal κ becomes indestructible by κ-strategically closed forcing; and a strongly compact cardinal κ becomes indestructible by, among others, the forcing to (...) add a Cohen subset to κ, the forcing to shoot a club Cκ avoiding the measurable cardinals and the forcing to add various long Prikry sequences. The lottery preparation works best when performed after fast function forcing, which adds a new completely general kind of Laver function for any large cardinal, thereby freeing the Laver function concept from the supercompact cardinal context. (shrink)

Small forcing always ruins the indestructibility of an indestructible supercompact cardinal. In fact, after small forcing, any cardinal κ becomes superdestructible--any further <κ--closed forcing which adds a subset to κ will destroy the measurability, even the weak compactness, of κ. Nevertheless, after small forcing indestructible cardinals remain resurrectible, but never strongly resurrectible.

We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal.

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

The Lévy-Solovay Theorem [8] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.

Laver [L] and others [G-S] have shown how to make the supercompactness or strongness of κ indestructible by a wide class of forcing notions. We show, alternatively, how to make these properties fragile. Specifically, we prove that it is relatively consistent that any forcing which preserves $\kappa^{<\kappa}$ and κ+, but not P(κ), destroys the measurability of κ, even if κ is initially supercompact, strong, or if I1(κ) holds. Obtained as an application of some general lifting theorems, this result is an (...) "inner model" type of theorem proved instead by forcing. (shrink)

A model in which strongness ofκ is indestructible under κ+ -weakly closed forcing notions satisfying the Prikry condition is constructed. This is applied to solve a question of Hajnal on the number of elements of {λ δ |2 δ <λ}.

Vopěnka’s Principle is a natural large cardinal axiom that has recently found applications in category theory and algebraic topology. We show that Vopěnka’s Principle and Vopěnka cardinals are relatively consistent with a broad range of other principles known to be independent of standard (ZFC) set theory, such as the Generalised Continuum Hypothesis, and the existence of a definable well-order on the universe of all sets. We achieve this by showing that they are indestructible under a broad class of forcing constructions, (...) specifically, reverse Easton iterations of increasingly directed closed partial orders. (shrink)

We construct two models in which the least strongly compact cardinal κ is also the least strong cardinal. In each of these models, κ satisfies indestructibility properties for both its strong compactness and strongness.

We show the consistency, relative to a supercompact cardinal, of the least measurable cardinal being both strongly compact and fully Laver indestructible. We also show the consistency, relative to a supercompact cardinal, of the least strongly compact cardinal being somewhat supercompact yet not completely supercompact and having both its strong compactness and degree of supercompactness fully Laver indestructible.

After small forcing, any $ -closed forcing will destroy the supercompactness and even the strong compactness of κ.