Decidability and modules over Bézout domains

DOI10.1090/conm/730/14718OpenAlexW2948881638MaRDI QIDQ5239174

Carlo Toffalori

Publication date: 22 October 2019

Published in: Model Theory of Modules, Algebras and Categories (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/conm/730/14718

zbMATH Keywords

valuation domaindecidabilityPrüfer domainBézout domainZiegler topologyprime radical relationdouble prime radical relation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Applications of model theory (03C98)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some model theory of modules over Bézout domains. The width
• On the decidability of the theory of modules over the ring of algebraic integers
• On the undecidability of some classes of abelian-by-finite groups
• Classification theory for abelian groups with an endomorphism
• Decidability of the theory of modules over commutative valuation domains
• On the computational complexity of the theory of Abelian groups
• PID's with specified residue fields
• Generating ideals in Prüfer domains
• Some model theory over hereditary Noetherian domains
• Distributive rings, uniserial rings of fractions, and endo-Bezout modules.
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Diophantine sets of representations
• Existentially closed domains with radical relations.
• Elimination theory for the ring of algebraic integers.
• Decidability for Theories of Modules
• The Stability Classification for Abelian-by-Finite Groups and Modules Over a Group Ring
• 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
• The torsionfree part of the Ziegler spectrum of RG when R is a Dedekind domain and G is a finite group
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• The elementary theory of abelian groups
• Elementary properties of Abelian groups
• A REDUCTION TO THE COMPACT CASE FOR GROUPS DEFINABLE IN O-MINIMAL STRUCTURES
• Some model theory over a nearly simple uniserial domain and decompositions of serial modules
• Pseudo-finite dimensional representations of \(\text{sl}(2,k)\).