Decidability of the theory of modules over Prüfer domains with dense value groups

Lorna Gregory, Sonia L'Innocente, Carlo Toffalori

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideal…