Presentation Lectures Events Links Home  
One Hundred Years of Axiomatic Set Theory, 19082008
3031 October 2008, Brussels (ULB)


In response to the paradoxes of naive set theory, axiomatic
foundations for set theory and mathematics were proposed in 1908 in the
following two papers:
Zermelo: “Untersuchungen über die Grundlagen der Mengenlehre”, Mathematische Annalen 30, 261–281. Russell: “Mathematical logic as based on the theory of types”, American Journal of Mathematics 30, p. 222262. This conference is devoted to settheoretic systems related to
Zermelo's, as fragments of ZF, but
also to Simple Type
Theory or even Quine's "New Foundations"  after all, Quine was born in
1908 too!
Invited speakers:
Adrian Mathias (La Réunion)
Thomas Forster (Cambridge)
Richard Kaye (Birmingham)
Lorenz Halbeisen (Bern)
Richard Pettigrew (Bristol)
Philip Welch (Vienna)
Organizers: Thierry Libert
Roland Hinnion Program: Thursday October 30th:
10h0011h00: Roland Hinnion, "Some specificities of Zermelo's system" Coffee break 11h3012h30: Adrian Mathias, "Forcing over models of Zermelo set theory" Lunch break 14h3015h30: Lorenz Halbeisen, "On models of Zermelo's system in which Zermelo's axiom fails" Coffee break 16h0017h00: Philip Welch, TBA Friday October 31th:
10h0011h00: Thomas Forster, "ParisHarrington in NF" Coffee break 11h3012h30: Richard Pettigrew, "Infinity & separation in the foundations of arithmetic & analysis" Lunch break 14h3015h30: Richard Kaye, "Automorphisms and constructions of models of set theory" The lectures will take place at the ULB in Solvay room (campus de la plaine, N.O. building, 5th floor).
Attendance is free, but registration is required for lunches by sending an email to Roland Hinnion before October 22th. This event is supported by:
