Switch to: References

Add citations

You must login to add citations.
  1. Tall cardinals.Joel D. Hamkins - 2009 - Mathematical Logic Quarterly 55 (1):68-86.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • The Ketonen order.Gabriel Goldberg - 2020 - Journal of Symbolic Logic 85 (2):585-604.
    We study a partial order on countably complete ultrafilters introduced by Ketonen [2] as a generalization of the Mitchell order. The following are our main results: the order is wellfounded; its linearity is equivalent to the Ultrapower Axiom, a principle introduced in the author’s dissertation [1]; finally, assuming the Ultrapower Axiom, the Ketonen order coincides with Lipschitz reducibility in the sense of generalized descriptive set theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Superdestructibility: A Dual to Laver's Indestructibility.Joel David Hamkins & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (2):549-554.
    After small forcing, any $ -closed forcing will destroy the supercompactness and even the strong compactness of κ.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Level by level equivalence and strong compactness.Arthur W. Apter - 2004 - Mathematical Logic Quarterly 50 (1):51.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A note on tall cardinals and level by level equivalence.Arthur W. Apter - 2016 - Mathematical Logic Quarterly 62 (1-2):128-132.
    Starting from a model “κ is supercompact” + “No cardinal is supercompact up to a measurable cardinal”, we force and construct a model such that “κ is supercompact” + “No cardinal is supercompact up to a measurable cardinal” + “δ is measurable iff δ is tall” in which level by level equivalence between strong compactness and supercompactness holds. This extends and generalizes both [, Theorem 1] and the results of.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the consistency strength of the Milner–Sauer conjecture.Assaf Rinot - 2006 - Annals of Pure and Applied Logic 140 (1):110-119.
    In their paper from 1981, Milner and Sauer conjectured that for any poset P,≤, if , then P must contain an antichain of cardinality κ. The conjecture is consistent and known to follow from GCH-type assumptions. We prove that the conjecture has large cardinals consistency strength in the sense that its negation implies, for example, the existence of a measurable cardinal in an inner model. We also prove that the conjecture follows from Martin’s Maximum and holds for all singular λ (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness.Arthur W. Apter - 2007 - Archive for Mathematical Logic 46 (3-4):155-163.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Failures of SCH and Level by Level Equivalence.Arthur W. Apter - 2006 - Archive for Mathematical Logic 45 (7):831-838.
    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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Rank-to-rank embeddings and steel’s conjecture.Gabriel Goldberg - 2021 - Journal of Symbolic Logic 86 (1):137-147.
    This paper establishes a conjecture of Steel [7] regarding the structure of elementary embeddings from a level of the cumulative hierarchy into itself. Steel’s question is related to the Mitchell order on these embeddings, studied in [5] and [7]. Although this order is known to be illfounded, Steel conjectured that it has certain large wellfounded suborders, which is what we establish. The proof relies on a simple and general analysis of the much broader class of extender embeddings and a variant (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Measurable cardinals and choiceless axioms.Gabriel Goldberg - forthcoming - Annals of Pure and Applied Logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • More on regular and decomposable ultrafilters in ZFC.Paolo Lipparini - 2010 - Mathematical Logic Quarterly 56 (4):340-374.
    We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: If m ≥ 1 and the ultrafilter D is , equation imagem)-regular, then D is κ -decomposable for some κ with λ ≤ κ ≤ 2λ ). If λ is a strong limit cardinal and D is , equation imagem)-regular, then either D is -regular or there are arbitrarily large κ < λ for which D is κ -decomposable ). Suppose that λ is singular, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Regularity properties of ideals and ultrafilters.Alan D. Taylor - 1979 - Annals of Mathematical Logic 16 (1):33.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The linearity of the Mitchell order.Gabriel Goldberg - 2018 - Journal of Mathematical Logic 18 (1):1850005.
    We show from an abstract comparison principle that the Mitchell order is linear on sufficiently strong ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. This gives a conditional answer to the well-known question of whether a [Formula: see text]-supercompact cardinal [Formula: see text] must carry more than one normal measure of order 0. Conditioned on a very plausible iteration hypothesis, the answer is no, since the Ultrapower Axiom holds in the canonical inner models at the finite (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Strong compactness and the ultrapower axiom I: the least strongly compact cardinal.Gabriel Goldberg - 2022 - Journal of Mathematical Logic 22 (2).
    Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. The Ultrapower Axiom is a combinatorial principle concerning the structure of large cardinals that is true in all known canonical inner models of set theory. A longstanding test question for inner model theory is the equiconsistency of strongly compact and supercompact cardinals. In this paper, it is shown that under the Ultrapower Axiom, the least strongly compact cardinal is supercompact. A number of stronger results are established, setting the stage for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Strongly compact cardinals and ordinal definability.Gabriel Goldberg - 2023 - Journal of Mathematical Logic 24 (1).
    This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of Woodin’s HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative hierarchy. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Club-guessing, stationary reflection, and coloring theorems.Todd Eisworth - 2010 - Annals of Pure and Applied Logic 161 (10):1216-1243.
    We obtain very strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. In particular, the simplest of our results establishes that if μ is singular and , then there is a regular cardinal θ<μ such that any fewer than cf stationary subsets of must reflect simultaneously.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Indestructibility under adding Cohen subsets and level by level equivalence.Arthur W. Apter - 2009 - Mathematical Logic Quarterly 55 (3):271-279.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Level by level inequivalence beyond measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations