@article{10_4007_annals_2016_183_1_2,
     author = {Jochen Koenigsmann},
     title = {Defining ${\mathbb Z}$ in ${\mathbb Q}$},
     journal = {Annals of mathematics},
     pages = {73--93},
     publisher = {mathdoc},
     volume = {183},
     number = {1},
     year = {2016},
     doi = {10.4007/annals.2016.183.1.2},
     mrnumber = {3432581},
     zbl = {06541583},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4007/annals.2016.183.1.2/}
}