Decidability of the theory of modules over Prüfer domains with infinite residue fields

DOI10.1017/JSL.2018.58MaRDI QIDQ4647101OpenAlexFDO

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

Publication date 4 January 2019

Published in 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)

Recommendations

• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of the theory of modules over commutative valuation domains
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Bézout domains and lattice-valued modules

Cites work

• scientific article; zbMATH DE number 429519 (Why is no real title available?)
• scientific article; zbMATH DE number 1531449 (Why is no real title available?)
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Decidability of the theory of modules over commutative valuation domains
• Distributive rings, uniserial rings of fractions, and endo-Bezout modules.
• Elementary Duality of Modules
• Generating ideals in Prüfer domains
• Lattice-Ordered Groups and a Conjecture for Adequate Domains
• Model theory of modules
• Model theory of modules over a serial ring
• On the decidability of the theory of modules over the ring of algebraic integers
• Purity, spectra and localisation.
• Some model theory of modules over Bézout domains. The width
• The Krull–Gabriel Dimension of a Serial Ring

Cited in

(9)

• Preacyclicity over the rings with infinite fields of residues
• Notes on model theory of modules over Dedekind domains
• Bézout domains and lattice-valued modules
• Decidability for the Theory of Modules over a Prüfer Domain
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields
• Decidability and modules over Bézout domains
• Decidability of theories of modules over tubular algebras

This page was built for publication: Decidability of the theory of modules over Prüfer domains with infinite residue fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647101)