Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields
From MaRDI portal
Publication:6288370
DOI10.1017/JSL.2018.58arXiv1706.08940MaRDI QIDQ6288370FDOQ6288370
Lorna Gregory, Sonia L'Innocente, Gena Puninski, Carlo Toffalori
Publication date: 27 June 2017
Abstract: We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr"ufer (in particular B'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For B'{e}zout domains these conditions are also necessary.
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)
This page was built for publication: Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6288370)
