Countable vector spaces with recursive operations Part II

DOI10.2307/2269957zbMath0231.02052OpenAlexW2072643132MaRDI QIDQ5638294

J. C. E. Dekker

Publication date: 1971

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

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Vector spaces, linear dependence, rank, lineability (15A03)

Related Items (11)

Recursively presented Abelian groups: Effective p-Group theory. I ⋮ Classification of degree classes associated with r.e. subspaces ⋮ Iterated effective embeddings of abelian p-groups ⋮ Isomorphisms on countable vector spaces with recursive operations ⋮ Independence in computable algebra ⋮ COMPUTABLE ABELIAN GROUPS ⋮ Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces ⋮ Controlling the dependence degree of a recursively enumerable vector space ⋮ Major subspaces of recursively enumerable vector spaces ⋮ Twilight graphs ⋮ European Meeting of the Association for Symbolic Logic, Bristol, England, 1973

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