Diophantine set is any set M of n-tuples of nonnegative integers <a1,...,an> having a Diophantine representation :
|
<a1,...,an> in M
if and only if there exist nonnegative integers
x1,...,xm such that P(a1,...,an,x1,...,xm)=0, |
where P is a polynomial with integer coefficients.