Decidability for the theory of modules over a Prüfer domain
arXiv:2107.05152 · doi:10.1093/imrn/rnac318
Abstract
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 modules of the ring of integer valued polynomials is decidable.