We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

We introduce the strongly uplifting cardinals, which are equivalently characterized, we prove, as the superstrongly unfoldable cardinals and also as the almost-hugely unfoldable cardinals, and we show that their existence is equiconsistent over ZFC with natural instances of the boldface resurrection axiom, such as the boldface resurrection axiom for proper forcing.

In this paper we introduce some fusion properties of forcing notions which guarantee that an iteration with supports of size ⩽κ not only does not collapse κ+ but also preserves the strength of κ. This provides a general theory covering the known cases of tree iterations which preserve large cardinals [3], Friedman and Halilović [5], Friedman and Honzik [6], Friedman and Magidor [8], Friedman and Zdomskyy [10], Honzik [12]).

We construct a model for the level by level equivalence between strong compactness and supercompactness in which the least supercompact cardinal κ has its strong compactness indestructible under adding arbitrarily many Cohen subsets. There are no restrictions on the large cardinal structure of our model.

If are such that δ is indestructibly supercompact and γ is measurable, then it must be the case that level by level inequivalence between strong compactness and supercompactness fails. We prove a theorem which points to this result being best possible. Specifically, we show that relative to the existence of cardinals such that κ1 is λ‐supercompact and λ is inaccessible, there is a model for level by level inequivalence between strong compactness and supercompactness containing a supercompact cardinal in which κ’s (...) strong compactness, but not supercompactness, is indestructible under κ‐directed closed forcing. In this model, κ is the least strongly compact cardinal, and no cardinal is supercompact up to an inaccessible cardinal. (shrink)

It is known that if $\kappa < \lambda$ are such that κ is indestructibly supercompact and λ is 2λ supercompact, then level by level equivalence between strong compactness and supercompactness fails. We prove a theorem which points towards this result being best possible. Specifically, we show that relative to the existence of a supercompact cardinal, there is a model for level by level equivalence between strong compactness and supercompactness containing a supercompact cardinal κ in which κ’s strong compactness is indestructible (...) under κ-directed closed forcing. (shrink)

We show that it is consistent, relative to n ∈ ω supercompact cardinals, for the strongly compact and measurable Woodin cardinals to coincide precisely. In particular, it is consistent for the first n strongly compact cardinals to be the first n measurable Woodin cardinals, with no cardinal above the n th strongly compact cardinal being measurable. In addition, we show that it is consistent, relative to a proper class of supercompact cardinals, for the strongly compact cardinals and the cardinals which (...) are both strong cardinals and Woodin cardinals to coincide precisely. We also show how the techniques employed can be used to prove additional theorems about possible relationships between Woodin cardinals and strongly compact cardinals. (shrink)

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)

Suppose that \(\kappa \) is indestructibly supercompact and there is a measurable cardinal \(\lambda > \kappa \). It then follows that \(A_0 = \{\delta is a measurable cardinal and the Mitchell ordering of normal measures over \(\delta \) is nonlinear \(\}\) is unbounded in \(\kappa \). If the Mitchell ordering of normal measures over \(\lambda \) is also linear, then by reflection (and without any use of indestructibility), \(A_1= \{\delta is a measurable cardinal and the Mitchell ordering of normal measures (...) over \(\delta \) is linear \(\}\) is unbounded in \(\kappa \) as well. The large cardinal hypothesis on \(\lambda \) is necessary. We demonstrate this by constructing via forcing two models in which \(\kappa \) is supercompact and \(\kappa \) exhibits an indestructibility property slightly weaker than full indestructibility but sufficient to infer that \(A_0\) is unbounded in \(\kappa \) if \(\lambda > \kappa \) is measurable. In one of these models, for every measurable cardinal \(\delta \), the Mitchell ordering of normal measures over \(\delta \) is linear. In the other of these models, for every measurable cardinal \(\delta \), the Mitchell ordering of normal measures over \(\delta \) is nonlinear. (shrink)

Abstract(1)We show that it is possible to add $\kappa ^+$ -Cohen subsets to $\kappa $ with a Prikry forcing over $\kappa $. This answers a question from [9].(2)A strengthening of non-Galvin property is introduced. It is shown to be consistent using a single measurable cardinal which improves a previous result by S. Garti, S. Shelah, and the first author [5].(3)A situation with Extender-based Prikry forcings is examined. This relates to a question of H. Woodin.

We prove two theorems concerning indestructibility properties of the first two strongly compact cardinals when these cardinals are in addition the first two measurable cardinals. Starting from two supercompact cardinals $\kappa _1 < \kappa _2$, we force and construct a model in which $\kappa _1$ and $\kappa _2$ are both the first two strongly compact and first two measurable cardinals, $\kappa _1$ ’s strong compactness is fully indestructible, and $\kappa _2$ ’s strong compactness is indestructible under $\mathrm {Add}$ for any (...) ordinal $\delta $. This provides an answer to a strengthened version of a question of Sargsyan found in [17, Question 5]. We also investigate indestructibility properties that may occur when the first two strongly compact cardinals are not only the first two measurable cardinals, but also exhibit nontrivial degrees of supercompactness. (shrink)

The weakly compact reflection principle\\) states that \ is a weakly compact cardinal and every weakly compact subset of \ has a weakly compact proper initial segment. The weakly compact reflection principle at \ implies that \ is an \-weakly compact cardinal. In this article we show that the weakly compact reflection principle does not imply that \ is \\)-weakly compact. Moreover, we show that if the weakly compact reflection principle holds at \ then there is a forcing extension preserving (...) this in which \ is the least \-weakly compact cardinal. Along the way we generalize the well-known result which states that if \ is a regular cardinal then in any forcing extension by \-c.c. forcing the nonstationary ideal equals the ideal generated by the ground model nonstationary ideal; our generalization states that if \ is a weakly compact cardinal then after forcing with a ‘typical’ Easton-support iteration of length \ the weakly compact ideal equals the ideal generated by the ground model weakly compact ideal. (shrink)

I analyze the hierarchies of the bounded and the weak bounded forcing axioms, with a focus on their versions for the class of subcomplete forcings, in terms of implications and consistency strengths. For the weak hierarchy, I provide level-by-level equiconsistencies with an appropriate hierarchy of partially remarkable cardinals. I also show that the subcomplete forcing axiom implies Larson’s ordinal reflection principle atω2, and that its effect on the failure of weak squares is very similar to that of Martin’s Maximum.

The resurrection axioms are forcing axioms introduced recently by Hamkins and Johnstone, developing on ideas of Chalons and Veličković. We introduce a stronger form of resurrection axioms for a class of forcings Γ and a given ordinal α), and show that RAω implies generic absoluteness for the first-order theory of Hγ+ with respect to forcings in Γ preserving the axiom, where γ = γΓ is a cardinal which depends on Γ. We also prove that the consistency strength of these axioms (...) is below that of a Mahlo cardinal for most forcing classes, and below that of a stationary limit of supercompact cardinals for the class of stationary set preserving posets. Moreover, we outline that simultaneous generic absoluteness for Hγ0+ with respect to Γ0 and for Hγ1+ with respect to Γ1 with γ0 = γΓ0≠γΓ1 = γ1 is in principle possible, and we present several natural models o... (shrink)

In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.

Say that κ\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}’s measurability is destructible if there exists a κ\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}. It then follows that A1={δ<κ∣δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \{\delta < \kappa \mid \delta}$$\end{document} is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ’s measurability is destructible when forcing with partial orderings having rank below λδ} is unbounded (...) in κ\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}. On the other hand, under the same hypotheses, A2={δ<κ∣δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{2} = \{\delta < \kappa \mid \delta}$$\end{document} is measurable, δ is not a limit of measurable cardinals, δ is not δ+ strongly compact, and δ′s measurability is indestructible when forcing with either Add or Add} is unbounded in κ\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} as well. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two distinct models in which either A1=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \emptyset}$$\end{document} or A2=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{2} = \emptyset}$$\end{document}. In each of these models, both of which have restricted large cardinal structures above κ\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}, every measurable cardinal δ which is not a limit of measurable cardinals is δ+ strongly compact, and there is an indestructibly supercompact 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}. In the model in which A1=∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A_{1} = \emptyset}$$\end{document}, every measurable cardinal δ which is not a limit of measurable cardinals is <λδ strongly compact and has its <λδ strong compactness indestructible when forcing with δ-directed closed partial orderings having rank below λδ. The choice of the least beth fixed point above δ is arbitrary, and other values of λδ are also possible. (shrink)

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.

We prove an indestructibility theorem for degrees of supercompactness that is compatible with level by level equivalence between strong compactness and supercompactness.

We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta}$$\end{document}-supercompact, for any desired θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta}$$\end{document}. In addition, we prove several global results showing how the entire class of weakly compactcardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals or (...) with the class of nearly θκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\theta_\kappa}$$\end{document}-supercompact cardinals κ\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}, for nearly any desired function κ↦θκ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\kappa\mapsto\theta_\kappa}$$\end{document}. These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals. (shrink)

Given a cardinal κ that is λ-supercompact for some regular cardinal λ⩾κ and assuming GCH, we show that one can force the continuum function to agree with any function F:[κ,λ]∩REG→CARD satisfying ∀α,β∈domα F. Our argument extends Woodinʼs technique of surgically modifying a generic filter to a new case: Woodinʼs key lemma applies when modifications are done on the range of j, whereas our argument uses a new key lemma to handle modifications done off of the range of j on the (...) ghost coordinates. This work answers a question of Friedman and Honzik [5]. We also discuss several related open questions. (shrink)

If κ is any strongly unfoldable cardinal, then this is preserved in a forcing extension in which κ fails. This result continues the progression of the corresponding results for weakly compact cardinals, due to Woodin, and for indescribable cardinals, due to Hauser.

A cardinal κ is nearly θ-supercompact if for every A⊆θ, there exists a transitive M⊨ZFC− closed under θ and j″θ∈N.2 This concept strictly refines the θ-supercompactness hierarchy as every θ-supercompact cardinal is nearly θ-supercompact, and every nearly 2θ<κ-supercompact cardinal κ is θ-supercompact. Moreover, if κ is a θ-supercompact cardinal for some θ such that θ<κ=θ, we can move to a forcing extension preserving all cardinals below θ++ where κ remains θ-supercompact but is not nearly θ+-supercompact. We will also show that (...) if κ is nearly θ-supercompact for some θ⩾2κ such that θ<θ=θ, then there exists a forcing extension preserving all cardinals at or above κ where κ is nearly θ-supercompact but not measurable. These types of large cardinals also come equipped with a nontrivial indestructibility result. A forcing poset is <κ-directed closed if it is γ-directed closed for all γ<κ in the sense of Jech [13, Def. 21.6]. We will prove that if κ is nearly θ-supercompact for some θ⩾κ such that θ<θ=θ, then there is a forcing extension where its near θ-supercompactness is preserved and indestructible by any further <κ-directed closed θ-c.c. forcing of size at most θ. Finally, these cardinals have high consistency strength. Specifically, we will show that if κ is nearly θ-supercompact for some θ⩾κ+ for which θ<θ=θ, then AD holds in L. In particular, if κ is nearly κ+-supercompact and 2κ=κ+, then AD holds in L. (shrink)

We determine the large cardinal consistency strength of the existence of a λ-supercompact cardinal κ such that equation image fails at λ. Indeed, we show that the existence of a λ-supercompact cardinal κ such that 2λ ≥ θ is equiconsistent with the existence of a λ-supercompact cardinal that is also θ-tall. We also prove some basic facts about the large cardinal notion of tallness with closure.

We develop a new method for coding sets while preserving GCH in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carried by a measurable cardinal as an oracle, and therefore, in order to code a subset A of κ, we require that our model contain κ many measurable cardinals above κ. Additionally we will describe some of the applications of this result. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

A cardinal κ is tall if for every ordinal θ there is an embedding j: V → M with critical point κ such that j > θ and Mκ ⊆ M. Every strong cardinal is tall and every strongly compact cardinal is tall, but measurable cardinals are not necessarily tall. It is relatively consistent, however, that the least measurable cardinal is tall. Nevertheless, the existence of a tall cardinal is equiconsistent with the existence of a strong cardinal. Any tall cardinal (...) κ can be made indestructible by a variety of forcing notions, including forcing that pumps up the value of 2κ as high as desired. (shrink)

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2δ > δ+ and δ is < 2δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. (...) This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (shrink)

For any ordinal δ, let λδ be the least inaccessible cardinal above δ. We force and construct a model in which the least supercompact cardinal κ is indestructible under κ-directed closed forcing and in which every measurable cardinal δ < κ is < λδ strongly compact and has its < λδ strong compactness indestructible under δ-directed closed forcing of rank less than λδ. In this model, κ is also the least strongly compact cardinal. We also establish versions of this result (...) in which κ is the least strongly compact cardinal but is not supercompact. (shrink)

We give a characterization of extendibility in terms of embeddings between the structures H λ . By that means, we show that the GCH can be forced (by a class forcing) while preserving extendible cardinals. As a corollary, we argue that such cardinals cannot in general be made indestructible by (set) forcing, under a wide variety of forcing notions.

We establish two theorems concerning strongly compact cardinals and universal indestructibility for degrees of supercompactness. In the first theorem, we show that universal indestructibility for degrees of supercompactness in the presence of a strongly compact cardinal is consistent with the existence of a proper class of measurable cardinals. In the second theorem, we show that universal indestructibility for degrees of supercompactness is consistent in the presence of two non-supercompact strongly compact cardinals, each of which exhibits a significant amount of indestructibility (...) for its strong compactness. (shrink)

We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is a stationary set of cardinals on which SCH fails. In this model, the structure of the class of supercompact cardinals can be arbitrary.

We prove new upper bound theorems on the consistency strengths of SPFA (θ), SPFA(θ-linked) and SPFA(θ⁺-cc). Our results are in terms of (θ, Γ)-subcompactness, which is a new large cardinal notion that combines the ideas behind subcompactness and Γ-indescribability. Our upper bound for SPFA(c-linked) has a corresponding lower bound, which is due to Neeman and appears in his follow-up to this paper. As a corollary, SPFA(c-linked) and PFA(c-linked) are each equiconsistent with the existence of a $\Sigma _{1}^{2}$ -indescribable cardinal. Our (...) upper bound for SPFA(c-c.c.) is a $\Sigma _{2}^{2}$ -indescribable cardinal, which is consistent with V = L. Our upper bound for SPFA(c⁺-linked) is a cardinal κ that is $(\kappa ^{+},\Sigma _{1}^{2})$ -subcompact, which is strictly weaker than κ⁺-supercompact. The axiom MM(c) is a consequence of SPFA(c⁺-linked) by a slight refinement of a theorem of Shelah. Our upper bound for SPFA(c⁺⁺-c.c.) is a cardinal κ that is $(\kappa ^{+},\Sigma _{2}^{2})$ -subcompact, which is also strictly weaker than κ⁺-supercompact. (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)

We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woodin cardinal. Stewart Baldwin's notion of hyperstrong cardinal. We also briefly indicate how our methods are applicable to universal indestructibility for supercompactness and strong compactness.

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and (...) unify Theorems 1 and 2 of [5], due to the first author. (shrink)

We force and obtain three models in which level by level equivalence between strong compactness and supercompactness holds and in which, below the least supercompact cardinal, GCH fails unboundedly often. In two of these models, GCH fails on a set having measure 1 with respect to certain canonical measures. There are no restrictions in all of our models on the structure of the class of supercompact cardinals.

We use a reverse Easton forcing iteration to obtain a universe with a definable well-order, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle ◊ $_{k^ - }^* $ at a proper class of cardinals k. By choosing the cardinals at which coding occurs sufficiently sparsely, we are able to lift the embeddings witnessing the large cardinal properties without having to meet any non-trivial master conditions.

We prove some results related to the problem of blowing up the power set of the least measurable cardinal. Our forcing results improve those of [1] by using the optimal hypothesis.

We show that if \ is \\)-hypermeasurable for some cardinal \ with \ \le \mu \) and GCH holds, then we can extend the universe by a cofinality-preserving forcing to obtain a model \ in which the \\)-hypermeasurability of \ is indestructible by the Cohen forcing at \ of any length up to \ is \\)-hypermeasurable in \). The preservation of hypermeasurability is useful for subsequent arguments. The construction of \ is based on the ideas of Woodin and Cummings :1–39, (...) 1992) for preservation of measurability, but suitably generalised and simplified to achieve a more general result. Unlike the Laver preparation :385–388, 1978) for a supercompact cardinal, our preparation non-trivially increases the value of \, which is equal to \ in \ is still true in \ if we start with GCH). (shrink)

Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong cardinals, uplifting cardinals, pseudo-uplifting cardinals, superstrongly unfoldable cardinals, Σn-reflecting cardinals, Σn-correct cardinals and Σn-extendible cardinals are never Laver indestructible. In fact, all these large cardinal properties are superdestructible: if κ exhibits any of them, with corresponding target θ, then in any forcing extension arising from nontrivial strategically <κ-closed forcing Q∈Vθ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Q} \in V_\theta}$$\end{document}, the cardinal κ will exhibit none of the large cardinal properties with target θ or larger. (shrink)

If κ < λ are such that κ is a strong cardinal whose strongness is indestructible under κ -strategically closed forcing and λ is weakly compact, then we show thatA = {δ < κ | δ is a non-weakly compact Mahlo cardinal which reflects stationary sets}must be unbounded in κ. This phenomenon, however, need not occur in a universe with relatively few large cardinals. In particular, we show how to construct a model where no cardinal is supercompact up to a (...) Mahlo cardinal in which the least supercompact cardinal κ is also the least strongly compact cardinal, κ 's strongness is indestructible under κ -strategically closed forcing, κ 's supercompactness is indestructible under κ -directed closed forcing not adding any new subsets of κ, and δ is Mahlo and reflects stationary sets iff δ is weakly compact. In this model, no strong cardinal δ < κ is indestructible under δ -strategically closed forcing. It therefore follows that it is relatively consistent for the least strong cardinal κ whose strongness is indestructible under κ -strategically closed forcing to be the same as the least supercompact cardinal, which also has its supercompactness indestructible under κ -directed closed forcing not adding any new subsets of κ. (shrink)