Event Detail
Fri Apr 26, 2019 60 Evans Hall 4–5 PM |
Alfred Tarski Lectures Thomas Hales (University of Pittsburgh) Integrating with Logic |
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.