The Gap Forcing Theorem, a key contribution of this paper, implies essentially that after any reverse Easton iteration of closed forcing, such as the Laver preparation, every supercompactness measure on a supercompact cardinal extends a measure from the ground model. Thus, such forcing can create no new supercompact cardinals, and, if the GCH holds, neither can it increase the degree of supercompactness of any cardinal; in particular, it can create no new measurable cardinals. In a crescendo of what I call (...) exact preservation theorems, I use this new technology to perform a kind of partial Laver preparation, and thereby finely control the class of posets which preserve a supercompact cardinal. Eventually, I prove the ‘As You Like It’ Theorem, which asserts that the class of κ -directed closed posets which preserve a supercompact cardinal κ can be made by forcing to conform with any pre-selected local definition which respects the equivalence of forcing. Along the way I separate completely the levels of the superdestructibility hierarchy, and, in an epilogue, prove that the notions of fragility and superdestructibility are orthogonal — all four combinations are possible. (shrink)

Using an idea developed in joint work with Shelah, we show how to redefine Laver's notion of forcing making a supercompact cardinal $\kappa$ indestructible under $\kappa$-directed closed forcing to give a new proof of the Kimchi-Magidor Theorem in which every compact cardinal in the universe satisfies certain indestructibility properties. Specifically, we show that if K is the class of supercompact cardinals in the ground model, then it is possible to force and construct a generic extension in which the only strongly (...) compact cardinals are the elements of K or their measurable limit points, every $\kappa \in K$ is a supercompact cardinal indestructible under $\kappa$-directed closed forcing, and every $\kappa$ a measurable limit point of K is a strongly compact cardinal indestructible under $\kappa$-directed closed forcing not changing $\wp$. We then derive as a corollary a model for the existence of a strongly compact cardinal $\kappa$ which is not $\kappa^+$ supercompact but which is indestructible under $\kappa$-directed closed forcing not changing $\wp and remains non-$\kappa^+$ supercompact after such a forcing has been done. (shrink)

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.

. From a proper class of supercompact cardinals, we force and obtain a model in which the proper classes of strongly compact and strong cardinals precisely coincide. In this model, it is the case that no strongly compact cardinal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document} is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $2^\kappa = \kappa^+$\end{document} supercompact.

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V “ZFC + Ω is the least inaccessible limit of measurable limits of supercompact cardinals + ƒ : Ω → 2 is a function”, then there is a partial ordering P V so that for , There is a proper class of compact cardinals + If (...) ƒ = 0, then the αth compact cardinal is not supercompact + If ƒ = 1, then the αth compact cardinal is supercompact”. We then prove a generalized version of this theorem assuming κ is a supercompact limit of supercompact cardinals and ƒ : κ → 2 is a function, and we derive as corollaries of the generalized version of the theorem the consistency of the least measurable limit of supercompact cardinals being the same as the least measurable limit of nonsupercompact strongly compact cardinals and the consistency of the least supercompact cardinal being a limit of strongly compact cardinals. (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)

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.

Can a supercompact cardinal κ be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above κ, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or less level-by-level agreement, such as requiring it only on measure one sets, then yes, it can.

Combining techniques of the first author and Shelah with ideas of Magidor, we show how to get a model in which, for fixed but arbitrary finite n, the first n strongly compact cardinals $\kappa_1,..., \kappa_n$ are so that $\kappa_i$ for i = 1,..., n is both the i$^{th}$ measurable cardinal and $\kappa^+_i$ supercompact. This generalizes an unpublished theorem of Magidor and answers a question of Apter and Shelah.

We show that it is consistent, relative to a supercompact limit of supercompact cardinals, for the least strongly compact cardinal k to be both the least measurable cardinal and to be > 2k supercompact.

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.