Abstract
Abstract
A celebrated result by Davis, Putnam, Robinson, and Matiyasevich shows that a set of integers is listable if and only if it is positive existentially definable in the language of arithmetic. We investigate analogues of this result over structures endowed with a listable presentation. When such an analogue holds, the structure is said to have the DPRM property. We prove several results addressing foundational aspects around this problem, such as uniqueness of the listable presentation, transference of the DPRM property under interpretation, and its relation with positive existential bi-interpretability. A first application of our results is the rigorous proof of (strong versions of) several folklore facts regarding transference of the DPRM property. Another application of the theory we develop is that it will allow us to link various Diophantine conjectures to the question of whether the DPRM property holds for global fields. This last topic includes a study of the number of existential quantifiers needed to define a Diophantine set.
Publisher
Cambridge University Press (CUP)
Reference51 articles.
1. Ensembles presque periodiques k-reconnaissables
2. Diophantine Sets over Some Rings of Algebraic Integers
3. Diophantine sets of polynomials over algebraic extensions of the rationals;Degroote;this Journal,2014
4. Towards Hilbert’s tenth problem for rings of integers through Iwasawa theory and Heegner points
5. Diophantine sets over ℤ[T];Denef;Proceedings of the American Mathematical Society,1978
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献