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

Algebra, Number Theory, Logic, and Representations (ANTLR)

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

24 Downloads (Pure)

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
Pages (from-to)	16574–16673
Number of pages	100
Journal	International Mathematics Research Notices
Volume	2023
Issue number	19
Early online date	28 Dec 2022
DOIs	https://doi.org/10.1093/imrn/rnac318
Publication status	Published - Oct 2023

Access to Document

10.1093/imrn/rnac318

finresgenfinalarXivAccepted author manuscript, 706 KB

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",

note = "Funding information: This work was supported by PRIN 2017-Mathematical Logic: models, sets, computability prot. 2017NWTM8R_004.",

year = "2023",

month = oct,

doi = "10.1093/imrn/rnac318",

language = "English",

volume = "2023",

pages = "16574–16673",

journal = "International Mathematics Research Notices",

issn = "1073-7928",

publisher = "Oxford University Press",

number = "19",

}

TY - JOUR

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

AU - Gregory, Lorna

N1 - Funding information: This work was supported by PRIN 2017-Mathematical Logic: models, sets, computability prot. 2017NWTM8R_004.

PY - 2023/10

Y1 - 2023/10

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

UR - http://www.scopus.com/inward/record.url?scp=85175468137&partnerID=8YFLogxK

U2 - 10.1093/imrn/rnac318

DO - 10.1093/imrn/rnac318

M3 - Article

SN - 1073-7928

VL - 2023

SP - 16574

EP - 16673

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

IS - 19

ER -

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

Abstract

Access to Document

Other files and links

Cite this