Switch to: Citations

Add references

You must login to add references.
  1. [Omnibus Review].M. Lerman - 1985 - Journal of Symbolic Logic 50 (2):550-552.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Reducibility orderings: Theories, definability and automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Minimal degrees and the jump operator.S. B. Cooper - 1973 - Journal of Symbolic Logic 38 (2):249-271.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Classes of Recursively Enumerable Sets and Degrees of Unsolvability.Donald A. Martin - 1966 - Mathematical Logic Quarterly 12 (1):295-310.
    Download  
     
    Export citation  
     
    Bookmark   88 citations  
  • Recursively enumerable generic sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.
    We show that one can solve Post's Problem by constructing generic sets in the usual set theoretic framework applied to tiny universes. This method leads to a new class of recursively enumerable sets: r.e. generic sets. All r.e. generic sets are low and simple and therefore of Turing degree strictly between 0 and 0'. Further they supply the first example of a class of low recursively enumerable sets which are automorphic in the lattice E of recursively enumerable sets with inclusion. (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)Working below a low2 recursively enumerably degree.Richard A. Shore & Theodore A. Slaman - 1990 - Archive for Mathematical Logic 29 (3):201-211.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Completely mitotic R.E. degrees.R. G. Downey & T. A. Slaman - 1989 - Annals of Pure and Applied Logic 41 (2):119-152.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Axiomatizable theories with few axiomatizable extensions.D. A. Martin & M. B. Pour-El - 1970 - Journal of Symbolic Logic 35 (2):205-209.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (2 other versions)Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers.Peter G. Hinman - 1990 - Journal of Symbolic Logic 55 (3):1307-1308.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)Working below a high recursively enumerable degree.Richard A. Shore & Theodore A. Slaman - 1993 - Journal of Symbolic Logic 58 (3):824-859.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Recursively enumerable m- and tt-degrees. I: The quantity of m- degrees.R. G. Downey - 1989 - Journal of Symbolic Logic 54 (2):553-567.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Lattice nonembeddings and initial segments of the recursively enumerable degrees.Rod Downey - 1990 - Annals of Pure and Applied Logic 49 (2):97-119.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)Double Jumps of Minimal Degrees.Carl G. Jockusch & David B. Posner - 1978 - Journal of Symbolic Logic 43 (4):715 - 724.
    Download  
     
    Export citation  
     
    Bookmark   19 citations