Tarski Lecture: Integrating with Logic
Lecture | April 26 | 4-5 p.m. | 60 Evans Hall | Note change in date and location
Thomas Hales, University of Pittsburgh
In 1995, Kontsevich introduced a new form of integration, call motivic integration. From the start, the development of motivic integration has been guided by model theory, especially quantifier elimination. One particularly useful result has been a far-reaching generalization of the Ax-Kochen-Ersov transfer principle in logic to integration. This talk will give a gentle introduction to motivic integration and will highlight some applications to the Langlands program.