Ring structure theorems and arithmetic comprehension

DOI10.1007/S00153-020-00738-3zbMath1473.03009OpenAlexW3039010767MaRDI QIDQ2219093

Huishan Wu

Publication date: 19 January 2021

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

Full work available at URL: https://doi.org/10.1007/s00153-020-00738-3

zbMATH Keywords

ringreverse mathematicsmoduleSchur's lemmaendomorphism ringWedderburn-Artin theoremJacobson density theorem

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Foundations of classical theories (including reverse mathematics) (03B30) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Reverse mathematics and semisimple rings ⋮ Structure of semisimple rings in reverse and computable mathematics

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ring structure theorems and arithmetic comprehension