Characterizing von Neumann regular rings in reverse mathematics

DOI10.1215/00294527-2021-0036OpenAlexW4200305568MaRDI QIDQ2075285

Huishan Wu

Publication date: 14 February 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0036

zbMATH Keywords

localizationreverse mathematicsvon Neumann regular ringLam-divisible module

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Countable algebra and set existence axioms
• The complexity of radicals and socles of modules
• Ideals in computable rings
• Subspaces of computable vector spaces
• Chain conditions in computable rings
• A Course in Commutative Algebra
• Torsion-Free and Divisible Modules Over Non-Integral-Domains