论文信息 - Direct Summands of Recursively Enumerable Vector Spaces - 字舞流文

Direct Summands of Recursively Enumerable Vector Spaces

Allen Retzlaff | Allen Retzlaff

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

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

[3] R. Soare. Automorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal Sets , 1974 .

[4] A. G. Hamilton. Bases and α-dimensions of countable vector spaces with recursive operations , 1970, Journal of Symbolic Logic.

[5] J. Dekker. Countable vector spaces with recursive operations Part I1 , 1969, Journal of Symbolic Logic.

[6] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[7] G. Sacks. Degrees of unsolvability , 1965 .

[8] M. Rabin. Computable algebra, general theory and theory of computable fields. , 1960 .

[9] R. Friedberg. Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication , 1958, Journal of Symbolic Logic.

[10] Iraj Kalantari,et al. Automorphisms of the Lattice of Recursively Enumerable Vector Spaces , 1979, Math. Log. Q..

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

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