[FOM] SET THEORY, CLASSICAL AND CONSTRUCTIVE
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:
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
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