Decidability and modules over Bézout domains
From MaRDI portal
Publication:5239174
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)
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)