Decidability of the theory of modules over Prüfer domains with infinite residue fields

DOI10.1017/JSL.2018.58OpenAlexW2963544504MaRDI QIDQ4647101FDOQ4647101

Lorna Gregory, Carlo Toffalori, Sonia L'Innocente, Gena Puninski

Publication date: 4 January 2019

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.08940

Recommendations

• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of the theory of modules over commutative valuation domains
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Bézout domains and lattice-valued modules

zbMATH Keywords

decidabilityPrüfer domainBézout domainprime 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

• Model theory of modules
• Generating ideals in Prüfer domains
• Purity, spectra and localisation.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributive rings, uniserial rings of fractions, and endo-Bezout modules.
• Model theory of modules over a serial ring
• Elementary Duality of Modules
• 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
• On the decidability of the theory of modules over the ring of algebraic integers
• The Krull–Gabriel Dimension of a Serial Ring
• Lattice-Ordered Groups and a Conjecture for Adequate Domains
• 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 (6)

• Preacyclicity over the rings with infinite fields of residues
• Bézout domains and lattice-valued modules
• Decidability and modules over Bézout domains
• Notes on model theory of modules over Dedekind domains
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields

This page was built for publication: Decidability of the theory of modules over Prüfer domains with infinite residue fields

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