IPM Calendar 
Monday 26 October 2020   Today  
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 ...