Jaap van Oosten J.vanOosten at uu.nl
Fri Jan 22 08:40:25 EST 2010

This is to announce a meeting to be held in Amsterdam, on 6-7 May 2010:


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, Dana Scott, Alex Simpson, Benno van den Berg, Nik Weaver 
and Hugh Woodin

More information about the FOM mailing list