Switch to: Citations

Add references

You must login to add references.
  1. The core model for almost linear iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
    We introduce 0• as a sharp for an inner model with a proper class of strong cardinals. We prove the existence of the core model K in the theory “ does not exist”. Combined with work of Woodin, Steel, and earlier work of the author, this provides the last step for determining the exact consistency strength of the assumption in the statement of the 12th Delfino problem pp. 221–224)).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Inner models in the region of a Woodin limit of Woodin cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
    We extend the construction of Mitchell and Steel to produce iterable fine structure models which may contain Woodin limits of Woodin cardinals, and more. The precise level reached is that of a cardinal which is both a Woodin cardinal and a limit of cardinals strong past it.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations