TY  - RPRT
TI  - Characterizing integers among rational numbers with a universal-existential formula
AU  - Bjorn Poonen
PY  - 2007
DO  - 10.1353/ajm.0.0057
UR  - https://arxiv.org/abs/math/0703907
ID  - math/0703907
ER  -