Switch to: Citations

Add references

You must login to add references.
  1. Determinacy and Jónsson cardinals in L.S. Jackson, R. Ketchersid, F. Schlutzenberg & W. H. Woodin - 2014 - Journal of Symbolic Logic 79 (4):1184-1198.
    Assume ZF + AD +V=L and letκ< Θ be an uncountable cardinal. We show thatκis Jónsson, and that if cof = ω thenκis Rowbottom. We also establish some other partition properties.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Inner Models and Large Cardinals.Martin Zeman - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Dodd parameters and λ-indexing of extenders.Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):73-108.
    We study generalizations of Dodd parameters and establish their fine structural properties in Jensen extender models with λ-indexing. These properties are one of the key tools in various combinatorial constructions, such as constructions of square sequences and morasses.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Stacking mice.Ronald Jensen, Ernest Schimmerling, Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (1):315-335.
    We show that either of the following hypotheses imply that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals. 1) There is a countably closed cardinal k ≥ N₃ such that □k and □(k) fail. 2) There is a cardinal k such that k is weakly compact in the generic extension by Col(k, k⁺). Of special interest is 1) with k = N₃ since it follows from PFA by theorems of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Local Kc Constructions.J. R. Steel - 2007 - Journal of Symbolic Logic 72 (3):721 - 737.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Core models with more Woodin cardinals.J. R. Steel - 2002 - Journal of Symbolic Logic 67 (3):1197-1226.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Fine structure for Tame inner models.E. Schimmerling & J. R. Steel - 1996 - Journal of Symbolic Logic 61 (2):621-639.
    Download  
     
    Export citation  
     
    Bookmark   8 citations