Countable vector spaces with recursive operations Part I1

DOI10.2307/2270903zbMATH Open0185.02003OpenAlexW4241167884MaRDI QIDQ5577085FDOQ5577085

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

Cites Work

• Title not available (Why is that?)

Cited In (12)

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

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)