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