Decidability for the Theory of Modules over a Prüfer Domain

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.

Saved in:
Bibliographic Details
Published in:International mathematics research notices 2023-10, Vol.2023 (19), p.16574-16673
Main Author: Gregory, Lorna
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1073-7928
1687-0247
DOI:10.1093/imrn/rnac318