论文信息 - Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field - 字舞流文

Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field

Rodney G. Downey | Iraj Kalantari

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

[2] A. Nerode,et al. Recursion Theory on Fields and Abstract Dependence , 1980 .

[3] A. Nerode,et al. Recursion Theory on Matroids II , 1983 .

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

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

[6] I. Kalantari. Major Subsets in Effective Topology , 1982 .

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

[8] Rodney G. Downey. Co-Immune Subspaces and Complementation in V , 1984, J. Symb. Log..

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

[10] H. H. Schaefer,et al. Topological Vector Spaces , 1967 .

[11] Iraj Kalantari,et al. Recursive Constructions in Topological Spaces , 1979, J. Symb. Log..