TY  - RPRT
TI  - Undecidability in number theory
AU  - Jochen Koenigsmann
PY  - 2013
UR  - https://arxiv.org/abs/1309.0441
ID  - 1309.0441
ER  -