IPM Calendar 
Friday 19 April 2019   Today  
Events for day: Wednesday 27 February 2019    
           10:00 - 12:00     Short Course
The Extender Algebra and its Variants

School
MATHEMATICS

This lecture course discusses criteria for when V is a generic extension
of a given inner model. Bukowsk and Balcar identified beautiful and handy criteria
in the 1970'ies which got applied recently in set theoretical geology. Later, Woodin
isolated his extender algebra which makes use of a large cardinal, a Woodin
cardinal. It turns out that Bukowsk's and Woodin's approaches may be presented
in a uniform fashion. We will presuppose only basic knowledge of forcing,
present Bukowsk's and Woodin's results in a general framework, and discuss
applications in set theoretic geology and descriptive ...

           15:30 - 16:30     Geometry and Topology Weekly Seminar
On Generalizations of the Gromov-Hausdorff Metric

School
MATHEMATICS

Gromov has defined a metric on the set of all compact metric spaces. This metric is defined for group-theoretic purposes but has found important applications in probability theory as well. Also, there exist several generalizations of this metric. For instance, the Gromov-Hausdorff-Prokhorov metric defines the distance of two measured metric spaces. Other examples consider metric spaces equipped with a distinguished point, a closed subset, a curve, a tuple of such structures, etc. In this talk, a general approach is presented for generalizing the Gromov-Hausdorff metric to consider metric spaces equipped with some additional structure. This a ...

           16:00 - 17:00     Mathematics Colloquium
How Godel Became Godel

School
MATHEMATICS

The incompleteness theorem proved by Godel in 1931 is considered one of the jewels of the mathematics of the XX Century, and it has been widely discussed by specialists and crackpots. Usually it is considered as a very subtle statement with a technically very complicated proof, but this is mostly due to the fact that it is usually formulated and proved in the final version published by Godel himself, which is actually the result of a number of successive approximations, each stronger than the previous one. By retracing the intellectual road followed by Godel in the years 1930 and 1931, I will try to show how his incompleteness results are ...