DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS

DOI10.1017/jsl.2018.58OpenAlexW2963544504MaRDI QIDQ4647101

Lorna Gregory, Carlo Toffalori, Sonia L'Innocente, Gena Puninski

Publication date: 4 January 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityPrüfer domainBézout domainprime radical relation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Applications of model theory (03C98)

Related Items

Notes on model theory of modules over Dedekind domains, Bézout domains and lattice-valued modules, 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
• Some model theory of modules over Bézout domains. The width
• On the decidability of the theory of modules over the ring of algebraic integers
• Decidability of the theory of modules over commutative valuation domains
• Model theory of modules
• Generating ideals in Prüfer domains
• Distributive rings, uniserial rings of fractions, and endo-Bezout modules.
• Model theory of modules over a serial ring
• Lattice-Ordered Groups and a Conjecture for Adequate Domains
• Elementary Duality of Modules
• The Krull–Gabriel Dimension of a Serial Ring
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• A REDUCTION TO THE COMPACT CASE FOR GROUPS DEFINABLE IN O-MINIMAL STRUCTURES