Decidability and modules over Bézout domains

DOI10.1090/CONM/730/14718MaRDI QIDQ5239174zbMATH OpenOpenAlexFDO

Authors 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

decidabilityvaluation domainZiegler topologyPrüfer domainBézout domainprime 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

• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 3501006 (Why is no real title available?)
• scientific article; zbMATH DE number 1142301 (Why is no real title available?)
• scientific article; zbMATH DE number 1531449 (Why is no real title available?)
• Classification theory for abelian groups with an endomorphism
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Decidability for Theories of Modules
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of the theory of modules over Prüfer domains with infinite residue fields
• Decidability of the theory of modules over commutative valuation domains
• Diophantine sets of representations
• Distributive rings, uniserial rings of fractions, and endo-Bezout modules.
• Elementary properties of Abelian groups
• Elimination theory for the ring of algebraic integers.
• Existentially closed domains with radical relations.
• Generating ideals in Prüfer domains
• On the computational complexity of the theory of Abelian groups
• 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
• PID's with specified residue fields
• Pseudo-finite dimensional representations of \(\text{sl}(2,k)\).
• Purity, spectra and localisation.
• Some model theory of modules over Bézout domains. The width
• Some model theory over a nearly simple uniserial domain and decompositions of serial modules
• Some model theory over hereditary Noetherian domains
• 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
• The elementary theory of abelian groups
• The torsionfree part of the Ziegler spectrum of RG when R is a Dedekind domain and G is a finite group
• Towards decidability of the theory of pseudo-finite dimensional representations of \(sl_2(k)\). I.

Cited in

(2)

• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Quantifier elimination for modules with scalar variables

This page was built for publication: Decidability and modules over Bézout domains

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