Affiliation:
1. School of Mathematics, University of East Anglia , Norwich, UK
Abstract
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.
Publisher
Oxford University Press (OUP)
Reference26 articles.
1. The elementary theory of finite fields;Ax;Ann. of Math. (2),1968
2. Valuations and real places in the theory of formally real fields;Becker,1982
3. Spectral Spaces
4. The elementary theory of abelian groups;Eklof;Ann. Math. Logic,1972