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 book brings the researcher up to date with recent applications of mathematical logic to number theory.

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

Leading experts survey the connections between model theory and semialgebraic, subanalytic, p-adic, rigid and diophantine geometry.

This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points