It was proved by Poonen that $\mathbb{Z}$ is definable in $\mathbb{Q}$ using $\forall \exists$ formula. Koenigsmann has shown that $\mathbb{Z}$ is in fact definable by universal formula. What is the simplest geometric interpretation of these results?
1 of 6
Defining $\mathbb{Z}$ in $\mathbb{Q}$
user16974