Universally and existentially definable subsets of global fields

Kirsten Eisentraeger, Travis Morrison

We show that rings of $S$-integers of a global function field $K$ of odd characteristic are first-order universally definable in $K$. This extends work of Koenigsmann and Park who…