Submission date: 12 July 2021

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.

Mathematics Subject Classification: 03C60 (primary), 03C98, 03B25, 13F05

Keywords and phrases:

Full text arXiv 2107.05152: pdf, ps.