This work surveys fundamental notions and results in the study of the lattice of computably enumerable vector spaces and its quotient lattice modulo finite ...
A Note on Decompositions of Recursively Enumerable Subspaces. Resource URI: https://dblp.l3s.de/d2r/resource/publications/journals/mlq/Downey84a. Home ...
R. G. Downey, A note on decompositions of recursively enumerable subspaces, Z. Math. Logik Grundlag. Math. 30 (1984), no. 5, 465–470. MR 766904, DOI 10.1002 ...
An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees.
R. G. Downey, A note on decompositions of recursively enumerable subspaces, Z. ... —, Tame topology and 0 -minimal structures, mimeographed notes, University of ...
Abstract. A subspace Vof an infinite dimensional fully effective vector space VOO is called decidable if V is r.e. and there exists-an r.e. W such that V ...
[1984] Decidable subspaces and recursively enumerable subspaces J. ... [1984] A note on decompositions of recursively enumerable subspaces Z. math ...
Downey, R.G. [1984], A note on decompositions of recursively enumerable subspaces. Z. Math. Logik Grund. Math, 30, 465–470. Article MathSciNet MATH Google ...
... A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES. Mathematical Logic Quarterly, Vol. 30, Issue. 30, p. 465","https://doi.org/10.1002/malq ...
This paper analyzes the interrelationships between the (Turing) of r.e. bases and of r.e. splittings of r.e. vector spaces together with the re- lationship of ...