Postgraduate workshop on Alternative Set Theories

Amsterdam, The Netherlands

22 to 24 June 2013

Venue. University Library of the Universiteit van Amsterdam, Singel 425 1012 WP Amsterdam.
Sunday: Potgieterzaal (C0.01)
Monday: Vondelzaal (C1.08)
Organizer. Prof. Dr. Benedikt Löwe.

Participants / Speakers.
  • Alexander Block, Universiteit van Amsterdam, The Netherlands.
  • Zuzana Haniková, Academy of Sciences of the Czech Republic, Czech Republic.
  • Julia Ilin, Universiteit van Amsterdam, The Netherlands.
  • David Matthai, University of Cambridge, England.
  • Philipp Kleppmann, University of Cambridge, England.
  • Zachiri McKenzie, University of Cambridge, England.
  • Sourav Tarafder, University of Calcutta, India.
  • Benno van den Berg, Universiteit Utrecht, The Netherlands.

Schedule (to be specified).

  • Saturday, 22 June 2013.

    We are meeting informally for drinks between 16:30 and 19:00 in the SkyLounge of the DoubleTree Amsterdam Centrral Station. The SkyLounge is located on the 11th floor of the hotel and has beautiful views over the city. The hotel is located right next to Central Station (google maps). We have reserved a table at the Tibetan restaurant Tibet (Lange Niezel 24; google maps) for 19:30. The plan is to walk to Tibet from the SkyLounge. Dinner is ordered and paid individually; Tibet has a decent selection of vegetarian dishes.

  • Sunday, 23 June 2013.

    Talks, discussion and lunch in the Potgieterzaal (Room C0.01 in the University Library).

    10:15-11:15 Benno van den Berg (Utrecht), An introduction to topos theory
    11:30-12:30 Julia Ilin (Amsterdam), An introduction to algebraic set theory
    12:30-14:00 LUNCH BREAK
    14:00-15:00 Zuzana Haniková (Prague), Set theory in many-valued logics
    15:30-16:30 Sourav Tarafder (Kolkata), The Boolean-valued model construction with algebras of non-standard logics
    17:00-18:00 Philipp Kleppmann (Cambridge), How to break the Axiom of Choice: Fraenkel-Mostowski models.

  • Monday, 24 June 2013.

    Talks, discussion and lunch in the Vondelzaal (Room C1.08 in the University Library).

    10:15-11:15 Zachiri McKenzie (Cambridge), Automorphisms of models of set theory and extensions of "New Foundations" with Urelements
    11:30-12:30 Alexander Block (Amsterdam), A construction of a cumulative hierarchy of sets in constructive set theory by A. Ziegler
    12:30-13:45 LUNCH BREAK
    13:45-14:45 David Matthai (Cambridge), A sketch of the consistency proof for New Foundations
    15:00-16:00 Alexandre Miquel (Lyon), Classical realizability models of set theory.