Set Theory, Classical and Constructive, May 6-7 2010, Amsterdam
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 (jkennedy@cc.helsinki.fi) and Jaap van Oosten (J.vanOosten@uu.nl). 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.
Schedule
This is the programme.
Venue
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 (p.vanormondt@uva.nl ) 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 (jkennedy@cc.helsinki.fi).