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

Gregory, Lorna ORCID: https://orcid.org/0000-0002-5508-7217 (2022) Decidability for the theory of modules over a Prüfer domain. International Mathematics Research Notices. ISSN 1073-7928

[thumbnail of finresgenfinalarXiv] PDF (finresgenfinalarXiv) - Accepted Version
Restricted to Repository staff only until 28 December 2023.

Request a copy

Abstract

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.

Item Type: Article
Faculty \ School: Faculty of Science > School of Mathematics
Related URLs:
Depositing User: LivePure Connector
Date Deposited: 15 Dec 2022 04:12
Last Modified: 03 Jan 2023 13:32
URI: https://ueaeprints.uea.ac.uk/id/eprint/90171
DOI: 10.1093/imrn/rnac318

Actions (login required)

View Item View Item