DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS

DOI10.1017/JSL.2014.1MaRDI QIDQ5501777zbMATH OpenOpenAlexFDO

Authors Lorna Gregory

Publication date 14 August 2015

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

Full work available at URL https://semanticscholar.org/paper/f43a1f08b645ba72456ed585613ed37947ecc951

zbMATH Keywords

commutative valuation domaindecidabilitytheory of modulesZiegler spectrum

Mathematics Subject Classification ID

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

Recommendations

• Decidability of the theory of modules over commutative valuation domains
• Decidability for Theories of Modules
• Decidability of the theory of modules over Prüfer domains with dense value groups
• scientific article; zbMATH DE number 510790
• Decidability of theories of modules over tubular algebras
• Decidability and modules over Bézout domains
• scientific article; zbMATH DE number 1159885
• Towards the decidability of the theory of modules over finite commutative rings
• scientific article; zbMATH DE number 3989332
• On the decidability of the theory of modules over the ring of algebraic integers

Cites work

• Decidability of the theory of modules over commutative valuation domains
• Serial rings
• Sobriety for the Ziegler spectrum of a Prüfer domain

Cited in

(14)

• Bézout domains and lattice-valued modules
• Decidability of the theory of modules over Prüfer domains with dense value groups
• scientific article; zbMATH DE number 3974951 (Why is no real title available?)
• Decidability of epimorphisms of dimension groups and certain modules
• Decidability for Theories of Modules
• The Ziegler spectrum of the ring of entire complex valued functions
• Decidability of the theory of modules over Prüfer domains with infinite residue fields
• Krull-Gabriel dimension and the Ziegler spectrum
• Some model theory of modules over Bézout domains. The width
• Valued modules on skew polynomial rings and Bézout domains
• Decidability and modules over Bézout domains
• On the decidability of the theory of modules over the ring of algebraic integers
• Decidability for the Theory of Modules over a Prüfer Domain
• Decidability of the theory of modules over commutative valuation domains

This page was built for publication: DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS

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