6-7 May 2010, Set Theory, Classical and Constructive

The aim of the meeting is to inform set theorists from whatever denomination about frontier research in the other field, and also to probe possible areas of common interest. Classical and constructive set theory have obvious points of contact: topos models are analogous to forcing, and classical set theory is often instrumental in the construction of models for intuitionistic set theory (e.g. in the work of Friedman and Scedrov). The organizers hope that this meeting brings these points to life.

The following invited speakers have confirmed to come: Peter Aczel, Andreas Blass, Juliet Floyd, Harvey Friedman, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Michael Rathjen, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin.

For more information, see http://www.math.uu.nl/people/jvoosten/setth0510.