Reverse mathematics and semisimple rings

DOI10.1007/S00153-021-00812-4OpenAlexW4206609374MaRDI QIDQ2155498

Huishan Wu

Publication date: 15 July 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00812-4

zbMATH Keywords

projective modulesreverse mathematicsinjective modulessemisimple rings

Mathematics Subject Classification ID

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

Cites Work

• Countable algebra and set existence axioms
• Cyclic modules whose quotients have all complement submodules direct summands
• The complexity of radicals and socles of modules
• Ring structure theorems and arithmetic comprehension
• Ideals in computable rings
• Subspaces of computable vector spaces
• Chain conditions in computable rings
• Minimal prime ideals and arithmetic comprehension
• Reverse mathematics and fully ordered groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reverse mathematics and semisimple rings