Anisotropy of quadratic forms over global fields of characteristic $\ne$ 2 is diophantine

Guang Hu

We prove that the set of anisotropic quadratic forms over global fields of characteristic different from 2 is a diophantine set. Our proof builds upon and extends the method of Koe…