DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
From MaRDI portal
Publication:5501777
DOI10.1017/jsl.2014.1zbMath1408.03005OpenAlexW2397257198MaRDI QIDQ5501777
Publication date: 14 August 2015
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/f43a1f08b645ba72456ed585613ed37947ecc951
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Valuations and their generalizations for commutative rings (13A18) Theory of modules and ideals in commutative rings (13C99)
Related Items (9)
THE ZIEGLER SPECTRUM OF THE RING OF ENTIRE COMPLEX VALUED FUNCTIONS ⋮ Some model theory of modules over Bézout domains. The width ⋮ DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS ⋮ On the decidability of the theory of modules over the ring of algebraic integers ⋮ Krull–Gabriel dimension and the Ziegler spectrum ⋮ Bézout domains and lattice-valued modules ⋮ Valued modules on skew polynomial rings and Bézout domains ⋮ Decidability and modules over Bézout domains ⋮ Decidability of the theory of modules over Prüfer domains with dense value groups
Cites Work
This page was built for publication: DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
