Switch to: Citations

Add references

You must login to add references.
  1. Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Degrees of Unsolvability.Gerald E. Sacks - 1966 - Princeton University Press.
    The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Degrees of models.J. R. Shoenfield - 1960 - Journal of Symbolic Logic 25 (3):233-237.
    Download  
     
    Export citation  
     
    Bookmark   9 citations