According to an answer in this question the set of integer non-squares is diophantine over the rationals: there is polynomial $P(a,x_1,...,x_n)$ which has rational solution iff $a$ is integer non-square. For the variety take $P^2+(x_{n+1}^2-a)^2=0$.
joro
- 25.4k
- 10
- 66
- 121