6-7 May 2010
Amsterdam, The Netherlands
For practical information concerning the workshop "Set Theory, Classical and Constructive" (Amsterdam, May 6-7 2010), visit the web page http://www.math.uu.nl/people/jvoosten/setth0510.html Best, Jaap van Oosten ========================================== SET THEORY, CLASSICAL AND CONSTRUCTIVE Sponsored by the INFTY network. Programme committee: Juliette Kennedy and Jaap van Oosten Local organizing: Juliette Kennedy, Jaap van Oosten and Jouko Vaananen Venue: Institute of Logic, Language and Computation (ILLC), Science Park, Amsterdam The meeting has invited speakers from Classical set theory and from Constructive set theory, as well as a philosophical segment. The meeting will consist of invited talks and a forum discussion at the end. 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, Peter Koepke, Ieke Moerdijk, Erik Palmgren, Michael Rathjen, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver and Hugh Woodin