TY  - JOUR
AU  - Jochen Koenigsmann
TI  - Defining ${\mathbb Z}$ in ${\mathbb Q}$
JO  - Annals of mathematics
PY  - 2016
SP  - 73
EP  - 93
VL  - 183
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4007/annals.2016.183.1.2/
DO  - 10.4007/annals.2016.183.1.2
LA  - en
ID  - 10_4007_annals_2016_183_1_2
ER  -