This book brings the researcher up to date with recent applications of mathematical logic to number theory.

This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort co

This monograph is a bridge between the classical theory and modern approach via arithmetic geometry.

Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of

Point-counting results for sets in real Euclidean space have found remarkable applications to diophantine geometry, enabling significant progress on the André�