Switch to: Citations

References in:

Hypermachines

Journal of Symbolic Logic 76 (2):620 - 636 (2011)

Add references

You must login to add references.
  1. The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
    Download  
     
    Export citation  
     
    Bookmark   210 citations  
  • Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
    Download  
     
    Export citation  
     
    Bookmark   161 citations  
  • Preface.Anil Nerode - 2004 - Annals of Pure and Applied Logic 126 (1-3):1-2.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Supercomplete extenders and type 1 mice: Part I.Q. Feng & R. Jensen - 2004 - Annals of Pure and Applied Logic 128 (1-3):1-73.
    We study type 1 premice equipped with supercomplete extenders. In this paper, we show that such premice are normally iterable and all normal iteration trees of type 1 premice has a unique cofinal branch. We give a construction of an KC type model using supercomplete type 1 extenders.
    Download  
     
    Export citation  
     
    Bookmark   2 citations