On the decidability of the theory of modules over the ring of algebraic integers

DOI10.1016/J.APAL.2017.02.003zbMath1422.03017arXiv1603.09042OpenAlexW2964089735MaRDI QIDQ529159

Carlo Toffalori, Sonia L'Innocente, Gena Puninski

Publication date: 18 May 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.09042

zbMATH Keywords

decidability of the theory of modulesring of algebraic integers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of model theory (03C98) Injective and flat modules and ideals in commutative rings (13C11)

Related Items (8)

Notes on model theory of modules over Dedekind domains ⋮ THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS ⋮ Quantifier elimination for modules with scalar variables ⋮ DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS ⋮ Bézout domains and lattice-valued modules ⋮ Valued modules on skew polynomial rings and Bézout domains ⋮ Decidability and modules over Bézout domains ⋮ Decidability of the theory of modules over Prüfer domains with dense value groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some model theory of modules over Bézout domains. The width
• Decidability of the theory of modules over commutative valuation domains
• Factoring multivariate polynomials over finite fields
• Iterative methods for simultaneous inclusion of polynomial zeros
• On the factorization of polynomials in a finite number of steps
• The algebraic closure of the power series field in positive characteristic
• Existentially closed domains with radical relations.
• Arithmetic over the rings of all algebraic integers.
• Elimination theory for the ring of algebraic integers.
• Effective Mathematics of the Uncountable
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Computable Algebra, General Theory and Theory of Computable Fields

This page was built for publication: On the decidability of the theory of modules over the ring of algebraic integers