RISC Logo
    News       Library       Links       Sitemap       Search  
line
 
 Project seminar: Axiomatic Set Theory
 

About the seminar

This is a continuation of a seminar with the title `Logic and Set Theory' which took place in preceding semesters. With new students participating we start again at a fairly elementary level, but emphasis is still on issues not covered earlier. Among the topics dealt with are: Zerlemo-Fraenkel axioms, their significance and independence, discussion of paradoxes, results on cardinals and ordinals.

Schedule

The schedule had to be changed a number of times; on the one hand several sessions had to be cancelled for various reasons, on the other hand the time has been extended (Thursday 16:05-19:00), and an additional session has been scheduled for Dec. 19 (9:00-12:00). This extra session has to be take place in the UFO, all others in the seminar room. Here is a survey of the talks and discussions which occurred so far, and those which are planned.
  • Oct. 16: Zerlemo-Fraenkel axioms and their significance; diagonalization
  • Nov. 13: Definition of fundamental concepts in terms of the basic language
  • Nov. 27: Category theory: definition of universes; paradoxes and circularity
  • Dec. 4: Cardinal numbers; basic issues
  • Dec. 19:
  • Jan. 8: Camelia Kocsis, Laura Kovacs
  • Jan. 15: Camelia Kocsis, Nikolaj Popov
  • Jan. 22: Nikolaj Popov, Laura Kovacs
  • Jan. 29:
Nikolaj will speak about contents of lecture notes for a set-theory course, Camelia about the approach by Barwise for handling the liar paradox (and other paradoxes), Laura about ordinal arithmetic and infinitary combinatorics.
    This page is maintained by Heinrich Rolletschek . Last updated on December 3, 2003