Two notes on recursively enumerable vector spaces
From MaRDI portal
Publication:1217116
DOI10.1305/NDJFL/1093887934zbMath0305.02057OpenAlexW2024529531MaRDI QIDQ1217116
Publication date: 1977
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093887934
Applications of computability and recursion theory (03D80) Recursively (computably) enumerable sets and degrees (03D25) Recursive equivalence types of sets and structures, isols (03D50)
Related Items (1)
This page was built for publication: Two notes on recursively enumerable vector spaces