Switch to: References

Add citations

You must login to add citations.
  1. Sound, totally sound, and unsound recursive equivalence types.R. G. Downey - 1986 - Annals of Pure and Applied Logic 31:1-20.
    Download  
     
    Export citation  
     
    Bookmark  
  • Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Maximal theories.R. G. Downey - 1987 - Annals of Pure and Applied Logic 33 (C):245-282.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Classifications of degree classes associated with r.e. subspaces.R. G. Downey & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 42 (2):105-124.
    In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Bases of Supermaximal Subspaces and Steinitz Systems II.R. G. Downey - 1986 - Mathematical Logic Quarterly 32 (13-16):203-210.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Note on Decompositions of Recursively Enumerable Subspaces.R. G. Downey - 1984 - Mathematical Logic Quarterly 30 (30):465-470.
    Download  
     
    Export citation  
     
    Bookmark   1 citation