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.