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

subspacereverse mathematicscomputable vector space

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

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

Cited in

(27)

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

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)