[FOM] SET THEORY, CLASSICAL AND CONSTRUCTIVE: second announcement

[Jaap van Oosten]

(apologies for multiple copies)

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