[FOM] defining the integers

Dave Marker marker at math.uic.edu
Fri Aug 31 12:07:37 EDT 2007

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.


More information about the FOM mailing list