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

Lorna Gregory

doi:10.1093/imrn/rnac318

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

Lorna Gregory

School of Mathematics

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Journal	International Mathematics Research Notices
Early online date	28 Dec 2022
DOIs	https://doi.org/10.1093/imrn/rnac318
Publication status	E-pub ahead of print - 28 Dec 2022

Access to Document

10.1093/imrn/rnac318

Cite this

@article{0a2321dedc0c434dabc29ab43b17f13d,

title = "Decidability for the theory of modules over a Pr{\"u}fer domain",

abstract = "In this article we give elementary conditions completely characterising when the theory of modules of a Pr{\"u}fer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is decidable.",

author = "Lorna Gregory",

year = "2022",

month = dec,

day = "28",

doi = "10.1093/imrn/rnac318",

language = "English",

journal = "International Mathematics Research Notices",

issn = "1073-7928",

publisher = "Oxford University Press",

}

TY - JOUR

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

AU - Gregory, Lorna

PY - 2022/12/28

Y1 - 2022/12/28

N2 - 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.

AB - 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.

UR - https://arxiv.org/abs/2107.05152

U2 - 10.1093/imrn/rnac318

DO - 10.1093/imrn/rnac318

M3 - Article

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

SN - 1073-7928

ER -

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

Abstract

Access to Document

Other files and links

Embargoed Document

Cite this