Countable vector spaces with recursive operations Part I1

DOI10.2307/2270903MaRDI QIDQ5577085zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(12)

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

This page was built for publication: Countable vector spaces with recursive operations Part I¹

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5577085)