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


Sponsored by the INFTY network, European Science Foundation and the Dutch Research Council

Subject Matter of the Meeting

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.

Organization and Programme

The programme committee of the meeting consists of Juliette Kennedy ( and Jaap van Oosten ( Local organizers are Juliette Kennedy, Jouko Väänänen and Jaap van Oosten.

The meeting will consist in 13 invited lectures. The invited speakers are: Juliet Floyd, Dana Scott, Hugh Woodin, Ieke Moerdijk, Michael Rathjen, Peter Aczel, Andreas Blass, Alex Simpson, Nik Weaver, Erik Palmgren, Peter Koepke, Benno van den Berg and Harvey Friedman.


This is the programme.


The venue is Plantage Muidergracht 12, 1018 TV Amsterdam, room M101. This is around the corner from the Hotel Lancaster Eden. If you come by public transportation, it is between the metro stations Weesperplein and Waterlooplein.
Here is a Map of the meeting, hotel and Lunch place.

Accomodation and Dinner requests

Visitors requiring accomodation are requested to address Peter van Ormondt ( ) in order to arrange bookings.
All speakers are invited to the Conference dinner on Friday. Visitors wishing to participate in the dinner are requested to contact Juliette Kennedy (