Switch to: Citations

Add references

You must login to add references.
  1. The infinite injury priority method.Robert I. Soare - 1976 - Journal of Symbolic Logic 41 (2):513-530.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Nowhere simple sets and the lattice of recursively enumerable sets.Richard A. Shore - 1978 - Journal of Symbolic Logic 43 (2):322-330.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Effectively nowhere simple sets.D. Miller & J. B. Remmel - 1984 - Journal of Symbolic Logic 49 (1):129-136.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Three theorems on recursive enumeration. I. decomposition. II. maximal set. III. enumeration without duplication.Richard M. Friedberg - 1958 - Journal of Symbolic Logic 23 (3):309-316.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • (1 other version)Jumps of Hemimaximal Sets.Rod Downey & Mike Stob - 1991 - Mathematical Logic Quarterly 37 (8):113-120.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Jumps of Hemimaximal Sets.Rod Downey & Mike Stob - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (8):113-120.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine. [REVIEW]Julia Robinson - 1972 - Journal of Symbolic Logic 37 (3):605-606.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Subgroups of Finitely Presented Groups.G. Higman - 1964 - Journal of Symbolic Logic 29 (4):204-205.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.
    Download  
     
    Export citation  
     
    Bookmark   47 citations