|Tuesday 26 January 2021|
|Events for day: Wednesday 07 October 2020|
| 15:30 - 17:30 Mathtematical Logic Weekly Seminar|
Model Theory of Adeles
In these talks I will present joint works with Angus Macintyre on model theory of adeles of number fields. The ring of adeles of a global field was introduced independently in different contexts by Weil, Chevalley, and Artin. It has revolutionized modern number theory in various aspects. In the first talk, I shall present results on quantifier elimination and decidability for adeles and for general restricted products of structures, and as a consequence, solution to a problem of Ax from 1968 on decidability of the class of all the residue rings of the integers. In the second talk, I will present results on elementary equivalence in a ...