Decidability of the theory of modules over commutative valuation domains

DOI10.1016/J.APAL.2006.09.002MaRDI QIDQ866569zbMATH OpenOpenAlexFDO

Authors Gena Puninski, Vera Puninskaya, Carlo Toffalori

Publication date 14 February 2007

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

Full work available at URL https://doi.org/10.1016/j.apal.2006.09.002

zbMATH Keywords

decidabilityZiegler spectrumcommutative valuation domaintheory of modules

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Theory of modules and ideals in commutative rings (13C99) Integral domains (13G05) Valuations and their generalizations for commutative rings (13A18)

Recommendations

• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Decidability of the theory of modules over Prüfer domains with dense value groups
• scientific article; zbMATH DE number 510790
• Bézout domains and lattice-valued modules
• Towards the decidability of the theory of modules over finite commutative rings

Cites work

• scientific article; zbMATH DE number 3924942 (Why is no real title available?)
• Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain
• Elementary properties of Abelian groups
• Model theory of modules
• Relative injectivity and pure-injective modules over Prüfer rings
• Serial rings
• The elementary theory of abelian groups

Cited in

(12)

• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Some model theory of modules over Bézout domains. The width
• 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 infinite residue fields
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Valuation derived from graded ring and module and Krull dimension properties
• On the decidability of the theory of modules over the ring of algebraic integers
• The Ziegler spectrum of the ring of entire complex valued functions
• On a Conjecture Regarding Nonstandard Uniserial Modules
• Decidability and modules over Bézout domains
• Valued modules on skew polynomial rings and Bézout domains

This page was built for publication: Decidability of the theory of modules over commutative valuation domains

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