26 found
Order:
  1.  12
    R. G. Downey & G. R. Hird (1985). Automorphisms of Supermaximal Subspaces. Journal of Symbolic Logic 50 (1):1-9.
  2.  7
    R. G. Downey & T. A. Slaman (1989). Completely Mitotic R.E. Degrees. Annals of Pure and Applied Logic 41 (2):119-152.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  3.  8
    C. T. Chong & R. G. Downey (1990). Minimal Degrees Recursive in 1-Generic Degrees. Annals of Pure and Applied Logic 48 (3):215-225.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  7
    R. G. Downey & Stuart A. Kurtz (1986). Recursion Theory and Ordered Groups. Annals of Pure and Applied Logic 32 (2):137-151.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  2
    R. G. Downey & L. V. Welch (1986). Splitting Properties of R. E. Sets and Degrees. Journal of Symbolic Logic 51 (1):88-109.
  6.  13
    R. G. Downey & Iraj Kalantari (1985). Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):193-200.
  7.  4
    R. G. Downey & J. B. Remmel (1984). The Universal Complementation Property. Journal of Symbolic Logic 49 (4):1125-1136.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8.  3
    R. G. Downey & M. Stob (1986). Structural Interactions of the Recursively Enumerable T- and W-Degrees. Annals of Pure and Applied Logic 31 (2):205-236.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  6
    R. G. Downey (1987). Maximal Theories. Annals of Pure and Applied Logic 33 (3):245-282.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  11
    C. J. Ash & R. G. Downey (1984). Decidable Subspaces and Recursively Enumerable Subspaces. Journal of Symbolic Logic 49 (4):1137-1145.
    A subspace V of an infinite dimensional fully effective vector space V ∞ is called decidable if V is r.e. and there exists an r.e. W such that $V \oplus W = V_\infty$ . These subspaces of V ∞ are natural analogues of recursive subsets of ω. The set of r.e. subspaces forms a lattice L(V ∞ ) and the set of decidable subspaces forms a lower semilattice S(V ∞ ). We analyse S(V ∞ ) and its relationship with L(V (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  10
    R. G. Downey (1989). Intervals and Sublattices of the R.E. Weak Truth Table Degrees, Part II: Nonbounding. Annals of Pure and Applied Logic 44 (3):153-172.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  5
    R. G. Downey (1984). A Note on Decompositions of Recursively Enumerable Subspaces. Mathematical Logic Quarterly 30 (30):465-470.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  12
    R. G. Downey (1988). Recursively Enumerablem- Andtt-Degrees II: The Distribution of Singular Degrees. [REVIEW] Archive for Mathematical Logic 27 (2):135-147.
  14.  7
    R. G. Downey (1989). Intervals and Sublattices of the R.E. Weak Truth Table Degrees, Part I: Density. Annals of Pure and Applied Logic 41 (1):1-26.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  4
    R. G. Downey & J. B. Remmel (1987). Automorphisms and Recursive Structures. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):339-345.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  4
    R. G. Downey (1984). A Note on Decompositions of Recursively Enumerable Subspaces. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (30):465-470.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  4
    R. G. Downey (1986). Bases of Supermaximal Subspaces and Steinitz Systems II. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (13-16):203-210.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    R. G. Downey & J. B. Remmel (1989). Classifications of Degree Classes Associated with R.E. Subspaces. 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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  19.  5
    R. G. Downey (1986). Undecidability of L and Other Lattices of R.E. Substructures. Annals of Pure and Applied Logic 32 (1):17-26.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  3
    R. G. Downey & Richard A. Shore (1998). Splitting Theorems and the Jump Operator. Annals of Pure and Applied Logic 94 (1-3):45-52.
    We investigate the relationship of the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are low 2.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    R. G. Downey (1986). Sound, Totally Sound, and Unsound Recursive Equivalence Types. Annals of Pure and Applied Logic 31 (1):1-20.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  7
    R. G. Downey (1989). Recursively Enumerable M- and Tt-Degrees. I: The Quantity of M- Degrees. Journal of Symbolic Logic 54 (2):553-567.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  2
    R. G. Downey (1986). Bases of Supermaximal Subspaces and Steinitz Systems II. Mathematical Logic Quarterly 32 (13‐16):203-210.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    R. G. Downey & J. B. Remmel (1987). Automorphisms and Recursive Structures. Mathematical Logic Quarterly 33 (4):339-345.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25. K. A. Abrahamson, R. G. Downey, M. R. Fellows, A. W. Apter, M. Magidor, M. I. da ArchangelskyDekhtyar, M. A. Taitslin, M. A. Arslanov & S. Lempp (1996). Master Index to Volumes 71-80. Annals of Pure and Applied Logic 80:293-298.
     
    Export citation  
     
    My bibliography  
  26. R. G. Downey & M. R. Fellows (forthcoming). Parameterized. Complexity.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography