RhFWU
Logo

Seminar
"Mengenlehre"

WS 2005/2006
Rheinische Friedrich-Wilhelms-Universität Bonn

Jointly organized by the mathematical logic group and the ILLC at the Universiteit van Amsterdam.


In this seminar, students from the mathematical logic group in Bonn are presenting various topic on games and set theory, leading up to Tony Martin's proof of the determinacy of all Π11 sets from a measurable cardinal.

All ILLC students interested in set theory are cordially invited to listen. The talks presuppose basic knowledge of set theory, comparable to our course Axiomatic Set Theory. The last two talks will also presuppose some knowledge about measurable cardinals.

Note that the Euclides building is closed on the weekend, so in order to attend, you either need to have an overwerkpass to get into the building, or to arrange a meeting with Stefan Bold to get into the building.

Saturday, Feb 11, 2006
14:00-15:00 Andreas Müller: Infinite games, the Axiom of Determinacy and the Axiom of Choice.
15:15-16:30 Christian Reiher: The Baire property, the perfect set property and the Axiom of Determinacy
16:45-18:00 Manuel Peelen: The Borel and projective hierarchies
Sunday, Feb 12, 2006
10:15-11:15 Michael Klein: The Axiom of Determinacy and Lebesgue measurability
11:30-12:30 Benjamin Seyferth: Tree representations for Π11 sets.
12:30-14:00 Lunch Break
14:00-15:00 Merlin Carl and Dominik Klein: Π11-Determinacy from a measurable cardinal, Part I.
15:15-16:15 Merlin Carl and Dominik Klein: Π11-Determinacy from a measurable cardinal, Part II.

Last changed: February 7th, 2006