7 citations · 17 across the 11 of their papers we have counts for
1 paper · 1 filter
Lorna Gregory
In this paper we give elementary conditions completely characterising when the theory of modules of a Prüfer domain is decidable. Using these results, we show that the theory of mo…