Decidability of the theory of modules over commutative valuation domains
From MaRDI portal
(Redirected from Publication:866569)
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)