Set Theory, Classical and Constructive


Venue: Plantage Muidergracht 12, Amsterdam; room M101.
Talks should last 50 minutes, with 10 minutes for discussion.

Thursday, May 6

9:00-9:10 Juliette Kennedy Opening
9:10-10:10 Juliet Floyd Rigor and Infinity Abstract
10:10-11:10 Dana Scott Applying logic to geometry Abstract
11:10-11:40 Coffee/Tea
11:40-12:40 Hugh Woodin Is V an ultimate version of L? Abstract
12:40-13:40 Lunch
13:40-14:40 Ieke Moerdijk Sheaves, Realizability and the Axiom of Multiple Choice Abstract
14:40-15:40 Michael Rathjen The jump to impredicativity Abstract
15:40-16:10 Coffee/Tea
16:10-17:10 Peter Aczel The type theoretic conception of set Abstract
17:10-18:40 Jaap van Oosten (moderator) Drinks and Panel Discussion: Aczel, Friedman, Scott, Weaver, Woodin.

Friday, May 7

9:00-10:00 Andreas Blass Games Abstract
10:00-11:00 Alex Simpson Pragmatic Motivations for Constructive Set Theory Abstract
11:00-11:30 Coffee/Tea
11:30-12:30 Nik Weaver Intuitionism and the liar paradox Abstract
12:30-14:00 Lunch
14:00-15:00 Erik Palmgren Set, Setoids and Groupoids. On set-like categories in type theory and set theory Abstract
15:00-15:30 Coffee/Tea
15:30-16:30 Peter Koepke Ordinal Orientated Set Theory Abstract
16:30-17:30 Benno van den Berg Inductive definitions and derived rules for constructive set theory Abstract
17:30-18:30 Harvey Friedman Three aspects of constructive set theory and beyond Abstract
19:30-? Conference Dinner
To Main meeting page