Time:  12  1:20 p.m. 
Room: 
PPB 300

Speaker: 
Thomas Hales Mellon Professor Department of Mathematics University of Pittsburgh 
Title: 
Integration and Logic I

Abstract: 
In 1995, M. Kontsevich introduced a new type of integration,
called motivic integration.
From the very beginning, there have been tight connections between motivic
integration and logic.
(For example, last year at the International Congress of Mathematicians, the
session on motivic integration
was part of the Section on Logic.) The definition of the integral relies on
quantifier elimination.
These lectures will give an introduction to motivic integration, with an
emphasis on its connection to logic.

Organizer's note:  Lunch will be provided.
