Seminar |
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 Π^{1}_{1} 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 Π^{1}_{1} sets. | ||
12:30-14:00 | Lunch Break | ||
14:00-15:00 | Merlin Carl and Dominik Klein: Π^{1}_{1}-Determinacy from a measurable cardinal, Part I. | ||
15:15-16:15 | Merlin Carl and Dominik Klein: Π^{1}_{1}-Determinacy from a measurable cardinal, Part II. |