Undecidability in number theory
Jochen Koenigsmann · arXiv (Cornell University) · 2013
These lecture notes cover classical undecidability results in number theory, Hilbert's 10th problem and recent developments around it, also for rings other than the integers. It also contains a sketch of the authors result that the integers are universally definable in the rationals.