Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Proper forcing and l(ℝ).Itay Neeman & Jindrich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
    We present two ways in which the model L(R) is canonical assuming the existence of large cardinals. We show that the theory of this model, with ordinal parameters, cannot be changed by small forcing; we show further that a set of ordinals in V cannot be added to L(R) by small forcing. The large cardinal needed corresponds to the consistency strength of AD L (R); roughly ω Woodin cardinals.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Sets constructed from sequences of measures: Revisited.William J. Mitchell - 1983 - Journal of Symbolic Logic 48 (3):600-609.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)AD and the supercompactness of ℵ1.Howard Becker - 1981 - Journal of Symbolic Logic 46 (4):822-842.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
    We extend the theory of “Fine structure and iteration trees” to models having more than one Woodin cardinal.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • On the determinacy of games on ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
    Download  
     
    Export citation  
     
    Bookmark   59 citations