Switch to: Citations

Add references

You must login to add references.
  1. On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Degrees of Unsolvability.Gerald E. Sacks - 1966 - Princeton University Press.
    A classic treatment of degrees of unsolvability from the acclaimed Annals of Mathematics Studies series Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition as Princeton University Press publishes the major works of the twenty-first century. To mark the continued success of the (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • On Degrees of Recursive Unsolvability.Clifford Spector - 1957 - Journal of Symbolic Logic 22 (4):374-375.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Gerald E. Sacks. A minimal degree less than O'. Bulletin of the American Mathematical Society, vol. 67 (1961), pp. 416–419. [REVIEW]Gerald E. Sacks - 1969 - Journal of Symbolic Logic 34 (2):295-295.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Degrees of unsolvability associated with classes of formalized theories.Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (2):161-175.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)Review: Solomon Feferman, J. W. Addison, Leon Henkin, Alfred Tarski, Some Applications of the Notions of Forcing and Generic Sets (Summary); Solomon Feferman, Some Applications of the Notions of Forcing and Generic Sets. [REVIEW]James E. Baumgartner - 1972 - Journal of Symbolic Logic 37 (3):612-613.
    Download  
     
    Export citation  
     
    Bookmark   13 citations