The Logical Complexity of Finitely Generated Commutative Rings
From MaRDI portal
Publication:5015553
DOI10.1093/imrn/rny023zbMath1476.03047arXiv1610.04768OpenAlexW2963094596MaRDI QIDQ5015553
Matthias Aschenbrenner, Anatole Khelif, Eudes Naziazeno, Thomas J. Scanlon
Publication date: 9 December 2021
Published in: International Mathematics Research Notices (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1610.04768
Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Relative consistency and interpretations (03F25)
Related Items (max. 100)
First-order rigidity of rings satisfying polynomial identities ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ Regular bi-interpretability of Chevalley groups over local rings ⋮ Defining \(R\) and \(G(R)\) ⋮ Bounded generation and commutator width of Chevalley groups: function case ⋮ On the model theory of higher rank arithmetic groups ⋮ Online presentations of finitely generated structures ⋮ Complete first-order theories of some classical matrix groups over algebraic integers ⋮ UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS
This page was built for publication: The Logical Complexity of Finitely Generated Commutative Rings