Thursday 28 March 2024 |
Events for day: Wednesday 30 September 2020 |
15:30 - 17:30 Mathtematical Logic Weekly Seminar Model Theory of Adeles School MATHEMATICS 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 ... |