Subspaces of computable vector spaces

DOI10.1016/J.JALGEBRA.2006.08.040MaRDI QIDQ2456206zbMATH OpenOpenAlexWikidataFDO

Authors Denis R. Hirschfeldt, Asher M. Kach, Steffen Lempp, Joseph R. Mileti, Antonio Montalbán, 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

computable vector spacereverse mathematicssubspace

Mathematics Subject Classification ID

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

Recommendations

• Infinite dimensional proper subspaces of computable vector spaces
• Decidable subspaces and recursively enumerable subspaces
• On speedable and levelable vector spaces
• scientific article; zbMATH DE number 749925
• scientific article; zbMATH DE number 4217338

Cites work

• Countable vector spaces with recursive operations Part I¹
• scientific article; zbMATH DE number 3827843 (Why is no real title available?)
• Ideals in computable rings
• Recursively enumerable vector spaces

Cited in

(27)

• Degrees of convex dependence in recursively enumerable vector spaces
• On speedable and levelable vector spaces
• Characterizing von Neumann regular rings in reverse mathematics
• Reverse mathematics and semisimple rings
• The complexity of radicals and socles of modules
• Turing degrees and automorphism groups of substructure lattices
• Ring structure theorems and arithmetic comprehension
• Ideals in computable rings
• Turing meets Schanuel
• Computable abelian groups
• Orbits of maximal vector spaces
• Rice sequences of relations
• Reverse mathematics of matroids
• The Lattice of Computably Enumerable Vector Spaces
• Chain conditions in computable rings
• A robuster Scott rank
• Decidable subspaces and recursively enumerable subspaces
• Infinite dimensional proper subspaces of computable vector spaces
• scientific article; zbMATH DE number 2079882 (Why is no real title available?)
• The complexity of computable categoricity
• Orders on computable rings
• The complexity of ascendant sequences in locally nilpotent groups
• Primitive recursive reverse mathematics
• Structure of semisimple rings in reverse and computable mathematics
• Computable formal contexts
• Categories and functors in reverse and computable mathematics
• Dependence relations in computably rigid computable vector spaces

This page was built for publication: Subspaces of computable vector spaces

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