Decidability for the theory of modules over a Pr\"ufer domain
Logic
2024-12-17 v1 Commutative Algebra
Abstract
In this paper we give elementary conditions completely characterising when the theory of modules of a Pr\"ufer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is decidable.
Cite
@article{arxiv.2107.05152,
title = {Decidability for the theory of modules over a Pr\"ufer domain},
author = {Lorna Gregory},
journal= {arXiv preprint arXiv:2107.05152},
year = {2024}
}