Ring structure theorems and arithmetic comprehension

DOI10.1007/s00153-020-00738-3zbMath1473.03009MaRDI 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

ring; reverse mathematics; module; Schur's lemma; endomorphism ring; Wedderburn-Artin theorem; Jacobson density theorem

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

03B30: Foundations of classical theories (including reverse mathematics)

13E10: Commutative Artinian rings and modules, finite-dimensional algebras

03D80: Applications of computability and recursion theory

03F35: Second- and higher-order arithmetic and fragments