The Journal of Symbolic Logic

Research Article

Universal diophantine equation

James P. Jones 1

Department of Mathematics and Statistics, University of Calgary, Calgary, Alberta, Canada, T2N 1N4

In 1961 Martin Davis, Hilary Putnam and Julia Robinson [2] proved that every recursively enumerable set W is exponential diophantine, i.e. can be represented in the form

Here P is a polynomial with integer coefficients and the variables range over positive integers.

In 1970 Ju. V. Matijasevič used this result to establish the unsolvability of Hilbert's tenth problem. Matijasevič proved [11] that the exponential relation y = 2 x is diophantine This together with [2] implies that every recursively enumerable set is diophantine, i.e. every r.e. set Wcan be represented in the form

From this it follows that there does not exist an algorithm to decide solvability of diophantine equations. The nonexistence of such an algorithm follows immediately from the existence of r.e. nonrecursive sets.

Now it is well known that the recursively enumerable sets W 1, W 2, W 3, … can be enumerated in such a way that the binary relation xWv is also recursively enumerable. Thus Matijasevič's theorem implies the existence of a diophantine equation U such that for all x and v,

(Received May 16 1979)

(Revised March 09 1981)

Footnotes

1  This paper was largely written during the author's 1975–76 sabbatical leave in the University of California, Berkeley. The author wishes to express his gratitude to Professor Julia Robinson for her generous advice and encouragement.