Direct Summands of Recursively Enumerable Vector Spaces

DOI10.1002/malq.19790251908zbMath0444.03024OpenAlexW2140518055MaRDI QIDQ3887449

Allen Retzlaff

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

zbMATH Keywords

direct sumsplitting theoremsrecursively enumerable vector spacerecursively enumerable sets of integers

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Related Items

Decidable subspaces and recursively enumerable subspaces ⋮ Classification of degree classes associated with r.e. subspaces

This page was built for publication: Direct Summands of Recursively Enumerable Vector Spaces