[FOM] defining the integers

[zahidi@logique.jussieu.fr]

Poonen's result is indeed very nice. Cornelissen and myself had previously
given a conditional improvement of Robinson's undecidability result for
the rationals.
We proved, assuming a conjecture about elliptic curves, that the
existential-universal theory of the rationals is undecidable.
>From Poonen's result (which is unconditional!) it follows that the
universal-existential-universal theory is undecidable.
Our paper can be found at
http://arxiv.org/abs/math/0412473

Best regards

Karim Zahidi


Le Ven 31 août 2007 18:07, Dave Marker a écrit :
>

> Bjorn Poonen has recently given a nice improvement of Julia Robinson's
> result that the integers are definable in the field of rational numbers.
> Robinson's definition was Pi_3. Poonen improves this to Pi_2 (2 universal
>  followed by 7 existential).
>
> A preprint of his result is on his webpage.
>
>
> Dave
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>