Decidability for the theory of modules over a Prüfer domain

Research output: Contribution to journalArticlepeer-review


In this article 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.
Original languageEnglish
JournalInternational Mathematics Research Notices
Early online date28 Dec 2022
Publication statusE-pub ahead of print - 28 Dec 2022

Cite this