Switch to: References

Add citations

You must login to add citations.
  1. Global square sequences in extender models.Martin Zeman - 2010 - Annals of Pure and Applied Logic 161 (7):956-985.
    We present a construction of a global square sequence in extender models with λ-indexing.
    Download  
     
    Export citation  
     
    Bookmark   3 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