Switch to: References

Add citations

You must login to add citations.
  1. The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $${\theta}$$ θ -supercompact.Brent Cody, Moti Gitik, Joel David Hamkins & Jason A. Schanker - 2015 - Archive for Mathematical Logic 54 (5-6):491-510.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Indestructibility properties of remarkable cardinals.Yong Cheng & Victoria Gitman - 2015 - Archive for Mathematical Logic 54 (7-8):961-984.
    Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L}$$\end{document} is absolute for proper forcing :176–184, 2000). Here, we study the indestructibility properties of remarkable cardinals. We show that if κ is remarkable, then there is a forcing extension in which the remarkability of κ becomes indestructible by all <κ-closed ≤κ-distributive forcing and all two-step iterations of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Diamonds, compactness, and measure sequences.Omer Ben-Neria - 2019 - Journal of Mathematical Logic 19 (1):1950002.
    We establish the consistency of the failure of the diamond principle on a cardinal [Formula: see text] which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a characterization of weak compactness of [Formula: see text] in a Radin generic extension.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Compactness and guessing principles in the Radin extensions.Omer Ben-Neria & Jing Zhang - 2023 - Journal of Mathematical Logic 23 (2).
    We investigate the interaction between compactness principles and guessing principles in the Radin forcing extensions. In particular, we show that in any Radin forcing extension with respect to a measure sequence on [Formula: see text], if [Formula: see text] is weakly compact, then [Formula: see text] holds. This provides contrast with a well-known theorem of Woodin, who showed that in a certain Radin extension over a suitably prepared ground model relative to the existence of large cardinals, the diamond principle fails (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Partial near supercompactness.Jason Aaron Schanker - 2013 - Annals of Pure and Applied Logic 164 (2):67-85.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Strongly unfoldable cardinals made indestructible.Thomas A. Johnstone - 2008 - Journal of Symbolic Logic 73 (4):1215-1248.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Strongly uplifting cardinals and the boldface resurrection axioms.Joel David Hamkins & Thomas A. Johnstone - 2017 - Archive for Mathematical Logic 56 (7-8):1115-1133.
    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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Resurrection axioms and uplifting cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
    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.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Indestructible Strong Unfoldability.Joel David Hamkins & Thomas A. Johnstone - 2010 - Notre Dame Journal of Formal Logic 51 (3):291-321.
    Using the lottery preparation, we prove that any strongly unfoldable cardinal $\kappa$ can be made indestructible by all.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Diagonal reflections on squares.Gunter Fuchs - 2019 - Archive for Mathematical Logic 58 (1-2):1-26.
    The effects of the forcing axioms \, \ and \ on the failure of weak threaded square principles of the form \\) are analyzed. To this end, a diagonal reflection principle, \, and it implies the failure of \\) if \. It is also shown that this result is sharp. It is noted that \/\ imply the failure of \\), for every regular \, and that this result is sharp as well.
    Download  
     
    Export citation  
     
    Bookmark   4 citations