Switch to: Citations

Add references

You must login to add references.
  1. Iteration Trees.D. A. Martin & J. R. Steel - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Core Model Iterability Problem.J. R. Steei - 2001 - Studia Logica 67 (1):124-127.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Can You Take Solovay's Inaccessible Away?Saharon Shelah & Jean Raisonnier - 1989 - Journal of Symbolic Logic 54 (2):633-635.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Strong cardinals in the core model.Kai Hauser & Greg Hjorth - 1997 - Annals of Pure and Applied Logic 83 (2):165-198.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
    It is proved that in the absence of proper class inner models with Woodin cardinals, for each n ε {1,…,ω}, ∑3 + n1 absoluteness implies there are n strong cardinals in K (where this denotes a suitably defined global version of the core model for one Woodin cardinal as exposed by Steel. Combined with a forcing argument of Woodin, this establishes that the consistency strength of ∑3 + n1 absoluteness is exactly that of n strong cardinals so that in particular (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations