Direct Summands of Recursively Enumerable Vector Spaces
From MaRDI portal
Publication:3887449
DOI10.1002/malq.19790251908zbMath0444.03024MaRDI QIDQ3887449
Publication date: 1979
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19790251908
direct sum; splitting theorems; recursively enumerable vector space; recursively enumerable sets of integers
03D80: Applications of computability and recursion theory
03D45: Theory of numerations, effectively presented structures
Related Items
Classification of degree classes associated with r.e. subspaces, Decidable subspaces and recursively enumerable subspaces