Raf Cluckers (K.U. Leuven)

How and why model theory is useful in many areas of mathematics

I will give an overview of some basic aspects of model theory (which is a branch of mathematical logic), and will sketch some applications, indicating why and how model theory is useful and powerful. One of the areas of applications lies in several theories of integration, both on the real numbers as on other structures. I hope to bring over the general flavor of model theory and some of its applications. I intend to be accessible and interesting both for philosophers and mathematicians.

PhD's in LogicPhD's in Logic