Bases and α-dimensions of countable vector spaces with recursive operations

DOI10.2307/2271160zbMath0195.01802OpenAlexW4231636928MaRDI QIDQ5590798

Alan G. Hamilton

Publication date: 1970

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271160

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (3)

Recursive equivalence types of vector spaces ⋮ Effective dimension ⋮ Simple and hyperhypersimple vector spaces

This page was built for publication: Bases and α-dimensions of countable vector spaces with recursive operations