Subspaces of computable vector spaces

DOI10.1016/j.jalgebra.2006.08.040zbMath1127.03036OpenAlexW2028018450WikidataQ126276650 ScholiaQ126276650MaRDI QIDQ2456206

Joseph R. Mileti, Asher M. Kach, Antonio Montalbán, Steffen Lempp, Denis R. Hirschfeldt, Rodney G. Downey

Publication date: 17 October 2007

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2006.08.040

zbMATH Keywords

subspacereverse mathematicscomputable vector space

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Theory of numerations, effectively presented structures (03D45)

Related Items

Orbits of maximal vector spaces ⋮ A robuster Scott rank ⋮ Turing meets Schanuel ⋮ Reverse mathematics and semisimple rings ⋮ The complexity of radicals and socles of modules ⋮ Rice sequences of relations ⋮ Primitive recursive reverse mathematics ⋮ Infinite dimensional proper subspaces of computable vector spaces ⋮ Structure of semisimple rings in reverse and computable mathematics ⋮ Orders on computable rings ⋮ Turing degrees and automorphism groups of substructure lattices ⋮ Ring structure theorems and arithmetic comprehension ⋮ The complexity of computable categoricity ⋮ Ideals in computable rings ⋮ The complexity of ascendant sequences in locally nilpotent groups ⋮ COMPUTABLE ABELIAN GROUPS ⋮ Chain conditions in computable rings ⋮ Characterizing von Neumann regular rings in reverse mathematics

Cites Work

• Ideals in computable rings
• Recursively enumerable vector spaces
• Countable vector spaces with recursive operations Part I¹
• Unnamed Item