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

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

[thumbnail of finresgenfinalarXiv]
Preview
PDF (finresgenfinalarXiv) - Accepted Version
Download (722kB) | Preview

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
Additional Information: Funding information: This work was supported by PRIN 2017-Mathematical Logic: models, sets, computability prot. 2017NWTM8R_004.
Uncontrolled Keywords: mathematics(all) ,/dk/atira/pure/subjectarea/asjc/2600
Faculty \ School: Faculty of Science > School of Mathematics (former - to 2024)
Related URLs:
Depositing User: LivePure Connector
Date Deposited: 15 Dec 2022 04:12
Last Modified: 25 Sep 2024 17:00
URI: https://ueaeprints.uea.ac.uk/id/eprint/90171
DOI: 10.1093/imrn/rnac318

Downloads

Downloads per month over past year

Actions (login required)

View Item View Item