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  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Large cardinals and iteration trees of height ω.Alessandro Andretta - 1991 - Annals of Pure and Applied Logic 54 (1):1-15.
    In this paper we continue the line of work initiated in “Building iteration trees”. It is shown that the existence of a certain kind of iteration tree of height ω is equivalent to the existence of a cardinal δ that is Woodin with respect to functions in the next admissible.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Core models with more Woodin cardinals.J. R. Steel - 2002 - Journal of Symbolic Logic 67 (3):1197-1226.
    Download  
     
    Export citation  
     
    Bookmark   10 citations