Undecidability in number theory

Abstract

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.

48 pages. arXiv admin note: text overlap with arXiv:1011.3424