Decidability and modules over Bézout domains

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

Generating ideals in Prüfer domains
Title not available (Why is that?)
Purity, spectra and localisation.
Title not available (Why is that?)
Some model theory over a nearly simple uniserial domain and decompositions of serial modules
Title not available (Why is that?)
Distributive rings, uniserial rings of fractions, and endo-Bezout modules.
Elementary properties of Abelian groups
The elementary theory of abelian groups
Title not available (Why is that?)
Some model theory of modules over Bézout domains. The width
DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
Decidability of the theory of modules over commutative valuation domains
Existentially closed domains with radical relations.
Title not available (Why is that?)
Elimination theory for the ring of algebraic integers.
On the decidability of the theory of modules over the ring of algebraic integers
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.
Pseudo-finite dimensional representations of \(\text{sl}(2,k)\).
The Stability Classification for Abelian-by-Finite Groups and Modules Over a Group Ring
On the undecidability of some classes of abelian-by-finite groups
Classification theory for abelian groups with an endomorphism
On the computational complexity of the theory of Abelian groups
Diophantine sets of representations
Decidability for Theories of Modules
PID's with specified residue fields
Some model theory over hereditary Noetherian domains
Decidability of the theory of modules over Prüfer domains with infinite residue fields
The Ziegler spectrum of the ring of entire complex valued functions
Decidability of the theory of modules over Prüfer domains with dense value groups
Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions

Cited In (2)

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

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)