Saturday 17 August 2019 |

Events for day: Wednesday 27 February 2019 |

10:00 - 12:00 Short CourseThe 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 SeminarOn 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 ColloquiumHow 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 ... |