TY  - RPRT
TI  - Defining $\mathbb{Z}$ in $\mathbb{Q}$
AU  - Jochen Koenigsmann
PY  - 2013
UR  - https://arxiv.org/abs/1011.3424
ID  - 1011.3424
ER  -