Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields
From MaRDI portal
Publication:6288370
DOI10.1017/jsl.2018.58zbMath1522.03133arXiv1706.08940MaRDI QIDQ6288370
Lorna Gregory, Sonia L'Innocente, Gena Puninski, Carlo Toffalori
Publication date: 27 June 2017
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