Defining $\mathbb{Z}$ in $\mathbb{Q}$

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?

EDIT: It is important to note, as Joel says, that the first result in this direction was that of Julia Robinson in 1948. The references for the latest results are: http://arxiv.org/abs/1011.3424 (Koenigsmann's paper), and http://www-math.mit.edu/~poonen/papers/ae.pdf (Poonen's paper).

Thank you

edited Jan 28 2012 at 8:24

asked Jan 27 2012 at 21:17

Math-player
1,391●1●3●13

Do you have a reference for these results? (without knowing how this is proved, it will be difficult to give a geometric interpretation) – Guillaume Brunerie Jan 27 2012 at 23:01

See this question: mathoverflow.net/questions/19840/… @Guillaume: Here is a link to Poonen's paper lifted directly from above www-math.mit.edu/~poonen/papers/ae.pdf – Zack Wolske Jan 27 2012 at 23:22

Probably it should be mentioned in the question that the first known definition of $\mathbb{Z}$ in $\mathbb{Q}$, a very surprising at the time, was the 1948 result of Julia Robinson. Poonen's impressive result should be seen as a refinement of Robinson's theorem, lowering the complexity of the definition. – Joel David Hamkins Jan 28 2012 at 0:42

Browse other questions tagged model-theory nt.number-theory or ask your own question.

question feed