Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleDecidability for the Theory of Modules over a Prüfer Domain.AuthorsGregory, LornaAbstractIn 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.SubjectsRINGS of integers; RING theory; POLYNOMIALSPublicationIMRN: International Mathematics Research Notices, 2023, Vol 2023, Issue 19, p16574ISSN1073-7928Publication typeArticleDOI10.1093/imrn/rnac318