Countable vector spaces with recursive operations Part I1

DOI10.2307/2270903zbMath0185.02003OpenAlexW4241167884MaRDI QIDQ5577085

J. C. E. Dekker

Publication date: 1969

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

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Orbits of maximal vector spaces, Decidable subspaces and recursively enumerable subspaces, Iterated effective embeddings of abelian p-groups, The Lattice of Computably Enumerable Vector Spaces, Isomorphisms on countable vector spaces with recursive operations, Recursive equivalence types of vector spaces, Subspaces of computable vector spaces, Models with dimension, Independence in computable algebra, Effective dimension, COMPUTABLE ABELIAN GROUPS, Simple and hyperhypersimple vector spaces

Cites Work

• Unnamed Item