Cardinals and Ordinals

In this paper we continue the line of work initiated in “Building iteration trees”. It is shown that the existence of a certain kind of iteration tree of height ω is equivalent to the existence of a cardinal δ that is Woodin with respect to functions in the next admissible.

We show how the use of a Laver function in the proof of the consistency, relative to the existence of a supercompact cardinal, of both the Proper Forcing Axiom and the Semiproper Forcing Axiom can be eliminated via the use of lottery sums of the appropriate partial orderings.

We force and construct models in which there are non-supercompact strongly compact cardinals which aren't measurable limits of strongly compact cardinals and in which level by level equivalence between strong compactness and supercompactness holds non-trivially except at strongly compact cardinals. In these models, every measurable cardinal κ which isn't either strongly compact or a witness to a certain phenomenon first discovered by Menas is such that for every regular cardinal λ > κ, κ is λ strongly compact iff κ is (...) λ supercompact. (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 prove three theorems which show that it is relatively consistent for any strong cardinal κ to be fully Laver indestructible under κ-directed closed forcing.

Starting with a model in which κ is the least inaccessible limit of cardinals δ which are δ+ strongly compact, we force and construct a model in which κ remains inaccessible and in which, for every cardinal γ < κ, □γ+ω fails but □γ+ω, ω holds. This generalizes a result of Ben-David and Magidor and provides an analogue in the context of strong compactness to a result of the author and Cummings in the context of supercompactness.

We construct models for the level-by-level equivalence between strong compactness and supercompactness containing failures of the Generalized Continuum Hypothesis at inaccessible cardinals. In one of these models, no cardinal is supercompact up to an inaccessible cardinal, and for every inaccessible cardinal $\delta $, $2^{\delta }\gt \delta ^{++}$. In another of these models, no cardinal is supercompact up to an inaccessible cardinal, and the only inaccessible cardinals at which GCH holds are also measurable. These results extend and generalize earlier work of (...) the author. (shrink)

Suppose that κ is indestructibly supercompact and there is a measurable cardinal λ > κ. It then follows that A1 = {δ < κ∣δ is measurable, δ is not a limit of measurable cardinals, and δ is not δ+ supercompact} is unbounded in κ. If in addition λ is 2λ supercompact, then A2 = {δ < κ∣δ is measurable, δ is not a limit of measurable cardinals, and δ is δ+ supercompact} is unbounded in κ as well. The large cardinal (...) hypotheses on λ are necessary, as we further demonstrate by constructing via forcing two distinct models in which either equation image or equation image. In each of these models, there is an indestructibly supercompact cardinal κ, and a restricted large cardinal structure above κ. If we weaken the indestructibility requirement on κ to indestructibility under partial orderings which are both κ-directed closed and -distributive, then it is possible to construct a model containing a supercompact cardinal κ witnessing this degree of indestructibility in which every measurable cardinal δ < κ is δ+ supercompact. (shrink)

A question of Woodin asks if κ is strongly compact and GCH holds below κ, then must GCH hold everywhere? One variant of this question asks if κ is strongly compact and GCH fails at every regular cardinal δ < κ, then must GCH fail at some regular cardinal δ ≥ κ? Another variant asks if it is possible for GCH to fail at every limit cardinal less than or equal to a strongly compact cardinal κ. We get a negative (...) answer to the first of these questions and positive answers to the second of these questions for a supercompact cardinal κ in the context of the absence of the full Axiom of Choice. (shrink)

We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “ ${{\rm ZF} + \neg{\rm AC}_\omega}$ + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the (...) tree property” follows from hypotheses stronger in consistency strength than a supercompact limit of supercompact cardinals. A lower bound in consistency strength is provided by a result of Busche and Schindler, who showed that the consistency of the theory “ZF + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” implies the consistency of AD L(R). (shrink)

Let φ1 stand for the statement V = HOD and φ2 stand for the Ground Axiom. Suppose Ti for i = 1, …, 4 are the theories “ZFC + φ1 + φ2,” “ZFC + ¬φ1 + φ2,” “ZFC + φ1 + ¬φ2,” and “ZFC + ¬φ1 + ¬φ2” respectively. We show that if κ is indestructibly supercompact and λ > κ is inaccessible, then for i = 1, …, 4, Ai = df{δ κ is inaccessible. We show it is also (...) the case that if κ is indestructibly supercompact, then Vκ⊨T1, so by reflection, B1 = df{δ κ is inaccessible, we demonstrate that it is possible to construct a model in which κ is indestructibly supercompact and for every inaccessible cardinal δ < κ, Vδ⊨T1. It is thus not possible to prove in ZFC that Bi = df{δ < κ∣δ is an inaccessible limit of inaccessible cardinals and Vδ⊨Ti} for i = 2, …, 4 is unbounded in κ if κ is indestructibly supercompact. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

We construct models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In each model, above the supercompact cardinal, there are finitely many strongly compact cardinals, and the strongly compact and measurable cardinals precisely coincide.

Relative to the existence of a supercompact cardinal with a measurable cardinal above it, we show that it is consistent for ℵ1 to be regular and for ℵmath image to be measurable and to carry precisely τ normal measures, where τ ≥ ℵmath image is any regular cardinal. This extends the work of [2], in which the analogous result was obtained for ℵω +1 using the same hypotheses.

Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ + strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which ${A = \emptyset}$ . The first of these contains a supercompact cardinal κ and (...) is such that no cardinal δ > κ is measurable, κ’s supercompactness is indestructible under κ-directed closed, (κ +, ∞)-distributive forcing, and every measurable cardinal δ < κ is δ + strongly compact. The second of these contains a strong cardinal κ and is such that no cardinal δ > κ is measurable, κ’s strongness is indestructible under < κ-strategically closed, (κ +, ∞)-distributive forcing, and level by level inequivalence between strong compactness and supercompactness holds. The model from the first of our forcing constructions is used to show that it is consistent, relative to a supercompact cardinal, for the least cardinal κ which is both strong and has its strongness indestructible under κ-directed closed, (κ +, ∞)-distributive forcing to be the same as the least supercompact cardinal, which has its supercompactness indestructible under κ-directed closed, (κ +, ∞)-distributive forcing. It further follows as a corollary of the first of our forcing constructions that it is possible to build a model containing a supercompact cardinal κ in which no cardinal δ > κ is measurable, κ is indestructibly supercompact, and every measurable cardinal δ < κ which is not a limit of measurable cardinals is δ + strongly compact. (shrink)

We construct two models containing exactly one supercompact cardinal in which all non-supercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals.

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)

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 we show that both A = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries the maximal number of normal measures} and B = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries fewer than the maximal number of normal measures} are unbounded (...) in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry fewer than the maximal number of normal measures. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry the maximal number of normal measures. If we weaken the requirements on indestructibility, then this last result can be improved to obtain a model with an indestructibly supercompact cardinal κ in which every measurable cardinal δ < κ carries the maximal number of normal measures. (shrink)

Using an idea of Sargsyan, we show how to reduce the consistency strength of the assumptions employed to establish a theorem concerning a uniform level of indestructibility for both strong and supercompact cardinals.

If κ < λ are such that κ is indestructibly supercompact and λ is 2λ supercompact, it is known from [4] that {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ violates level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. On the other hand, using a variant of the argument used to establish this fact, it is possible to prove that if κ < λ are (...) such that κ is indestructibly supercompact and λ is measurable, then {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ satisfies level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must satisfy level by level equivalence between strong compactness and supercompactness. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must violate level by level equivalence between strong compactness and supercompactness. (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 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 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)

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.

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 force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional combinatorial properties. In particular, in this model, ♦ δ holds for every regular uncountable cardinal δ, and below the least supercompact cardinal κ, □ δ holds on a stationary subset of κ. There are no restrictions in our model on the structure of the class of supercompact cardinals.

A question of Foreman and Magidor asks if it is consistent for every sequence of stationary subsets of the ℵ n ’s for 1≤n<ω to be mutually stationary. We get a positive answer to this question in the context of the negation of the Axiom of Choice. We also indicate how a positive answer to a generalized version of this question in a choiceless context may be obtained.

We construct a model in which the strongly compact cardinals can be non-trivially characterized via the statement “κ is strongly compact iff κ is a measurable limit of strong cardinals”. If our ground model contains large enough cardinals, there will be supercompact cardinals in the universe containing this characterization of the strongly compact cardinals.

Starting with a model for “GCH + k is k+ supercompact”, we force and construct a model for “k is the least measurable cardinal + 2k = K+”. This model has the property that forcing over it with Add preserves the fact k is the least measurable cardinal.

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 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)

Assuming Con, a model in which there are unboundedly many regular cardinals below Θ and in which the only regular cardinals below Θ are limit cardinals was previously constructed. Using a large cardinal hypothesis far beyond Con, we construct in this paper a model in which there is a proper class of regular cardinals and in which the only regular cardinals in the universe are limit cardinals.

In this paper, we show that certain choiceless models of ZF originally constructed using an almost huge cardinal can be constructed using cardinals strictly weaker in consistency strength.

We obtain 2 models in which AC is false and in which there are long sequences of consecutive large cardinals.

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with a strong form of diamond and a version of square consistent with supercompactness. This generalises a result due to the first author. There are no restrictions in our model on the structure of the class of supercompact cardinals.

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.

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2 κ = κ +, another for which 2 κ = κ ++ and another in which the least strongly compact cardinal is supercompact. (...) If there is a strongly compact cardinal, then there is an inner model with a strongly compact cardinal, for which the measurable cardinals are bounded below it and another inner model W with a strongly compact cardinal κ, such that ${H^{V}_{\kappa^+} \subseteq {\rm HOD}^W}$ . Similar facts hold for supercompact, measurable and strongly Ramsey cardinals. If a cardinal is supercompact up to a weakly iterable cardinal, then there is an inner model of the Proper Forcing Axiom and another inner model with a supercompact cardinal in which GCH + V = HOD holds. Under the same hypothesis, there is an inner model with level by level equivalence between strong compactness and supercompactness, and indeed, another in which there is level by level inequivalence between strong compactness and supercompactness. If a cardinal is strongly compact up to a weakly iterable cardinal, then there is an inner model in which the least measurable cardinal is strongly compact. If there is a weakly iterable limit δ of <δ-supercompact cardinals, then there is an inner model with a proper class of Laver-indestructible supercompact cardinals. We describe three general proof methods, which can be used to prove many similar results. (shrink)

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost (...) Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”. (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 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 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)