Amsterdam workshop in set theory
May 26 and 27, 2009

On 26 May 2009, 12:00, Brian Semmes will publicly defend his PhD thesis entitled "A Game for the Borel Functions" in the Agnietenkapel of the Universiteit van Amsterdam. After the defense, we shall hold a small informal set theory workshop where the members of the committee, local set theory students, and some additional guests will give talks. Every interested researcher is cordially invited.

Venue: Room F-001
Nieuwe Doelenstraat 15
Google Map


Tuesday 26 May
15.00-15.45     Slawek Solecki       Spatial models of Boolean actions and groups of isometries   Abstract
15.45-16.15 Jacques Duparc On μ-calculus, alternating tree automata, and Wadge reducibility.   Abstract
16.30-17.00 Stefan Geschke A forcing dichotomy for weak Borel chromatic numbers of closed graphs.   Abstract
17.00-17.30 Peter Koepke Ordinal computability and fine structure.   Abstract
17.45-18.30 Jörg Brendle Dense sets of rationals.
18.30-19.00 Jouko Väänänen Set-theoretic methods in model theory.

Wednesday 27 May
10.00-10.45     Daisuke Ikegami     Forcing absoluteness and regularity properties.   Abstract
10.45-11.15 Ioanna Dimitriou The first regular can be the first measurable at any height.   Abstract
11.30-12.00 Stefan Bold Jonsson Cardinals from Measure Analysis under AD.   Abstract
12.00-12.30 Arthur Apter Indestructible strong compactness but not supercompactness.   Abstract

Related Event
On Wednesday after the workshop, at 15.00, Juha Kontinen will give a talk on Regular representations of uniform TC0, at the Colloquium on Mathematical Logic, room P-0.16, Euclides building, Plantage Muidergracht 24. For more information, see

Organizers: Yurii Khomskii, Benedikt Löwe.
For urgent questions, you can contact Yurii at the mobile number: +31645432230.