Ernest Schimmerling

Mathematical logic seminar - October 14, 2003

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.