activity
20162019
most citedDecidability of the theory of modules over Prüfer domains with infinite residue fields

6 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

math.LO2019

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…