Countable vector spaces with recursive operations Part II
From MaRDI portal
Publication:5638294
DOI10.2307/2269957zbMath0231.02052MaRDI QIDQ5638294
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
03D20: Recursive functions and relations, subrecursive hierarchies
15A03: Vector spaces, linear dependence, rank, lineability
Related Items
European Meeting of the Association for Symbolic Logic, Bristol, England, 1973, Independence in computable algebra, Classification of degree classes associated with r.e. subspaces, COMPUTABLE ABELIAN GROUPS, Iterated effective embeddings of abelian p-groups, Twilight graphs, Recursively presented Abelian groups: Effective p-Group theory. I, Isomorphisms on countable vector spaces with recursive operations, 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