## Undecidability of the existential theory

Do you know if I can find the proof that the existential theory of Z with the structure of addition , divisibility and the relation (∃s∈Z)m=nps is undecidable, besides the one of the paper of J. Denef “The diophantine problem for polynomial rings of positive characteristic” ? In the paper of Denef, the corollary is … Read more