Recursion theory on algebraic structures with independent sets

[1]  C. E. M. Yates,et al.  Three theorems on the degrees of recursively enumerable sets , 1965 .

[2]  Donald A. Martin,et al.  Classes of Recursively Enumerable Sets and Degrees of Unsolvability , 1966 .

[3]  Robert W. Robinson,et al.  Simplicity of recursively enumerable sets , 1967, Journal of Symbolic Logic.

[4]  A. Lachlan.  The elementary theory of recursively enumerable sets , 1968 .

[5]  A. Lachlan.  ON THE LATTICE OF RECURSIVELY ENUMERABLE SETS , 1968 .

[6]  J. C. E. Dekker,et al.  Countable Vector Spaces with Recursive Operations. Part I , 1969, J. Symb. Log..

[7]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[8]  A. Nerode,et al.  Recursion theory and algebra , 1975 .

[9]  Jeffrey B. Remmel.  Co-Hypersimple Structures , 1976, J. Symb. Log..

[10]  A. Nerode,et al.  Recursively enumerable vector spaces , 1977 .

[11]  Iraj Kalantari,et al.  Maximal Vector Spaces Under Automorphisms of the Lattice of Recursively Enumerable Vector Spaces , 1977, J. Symb. Log..

[12]  Jeffrey B. Remmel,et al.  Maximal and Cohesive vector spaces , 1977, Journal of Symbolic Logic.

[13]  Allen Retzlaff,et al.  Simple and hyperhypersimple vector spaces , 1978, Journal of Symbolic Logic.

[14]  Iraj Kalantari.  Major Subspaces of Recursively Enumerable Vector Spaces , 1978, J. Symb. Log..

[15]  Richard A. Shore,et al.  Controlling the dependence degree of a recursively enumerable vector space , 1978, Journal of Symbolic Logic.

[16]  J. Remmel.  Recursively enumerable Boolean algebras , 1978 .

[17]  Jeffrey B. Remmel.  A r-Maximal Vector Space not contained in any Maximal Vector Space , 1978, J. Symb. Log..

[18]  Jeffrey B. Remmel,et al.  R-maximal Boolean algebras , 1979, Journal of Symbolic Logic.

[19]  Jeffrey B. Remmel,et al.  Recursion theory on orderings. I. A model theoretic setting , 1979, Journal of Symbolic Logic.

[20]  Jeffrey B. Remmel,et al.  On r.e. and co-r.e. vector spaces with nonextendible bases , 1980, Journal of Symbolic Logic.