The Dennes Room

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.