Decidability of the theory of modules over commutative valuation domains

DOI10.1016/J.APAL.2006.09.002zbMATH Open1111.03011OpenAlexW2098833406MaRDI QIDQ866569FDOQ866569

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

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

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)

Cites Work

• Model theory of modules
• Serial rings
• Elementary properties of Abelian groups
• Cantor-Bendixson Rank of the Ziegler Spectrum Over a Commutative Valuation Domain
• The elementary theory of abelian groups
• Title not available (Why is that?)
• Relative injectivity and pure-injective modules over Prüfer rings

Cited In (12)

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

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)