This is joint work with Angus Macintyre. Using p-adic model theory and other tools, we develop a model theory for the adeles of a number field. I will state some of the main results, and discuss some recent emerging connections to Serre's work on the number of solutions modulo p of a variety, to analytic properties of zeta and L-functions, and to adelic Poisson summation formulas.