Universally and existentially definable subsets of global fields - Kirsten Eisentraeger; Travis Morrison (2016)