
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: ZerlemoFraenkel axioms,
their significance and independence, discussion of paradoxes, results on cardinals and ordinals.
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:0519:00), and an
additional session has been scheduled for Dec. 19 (9:0012: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: ZerlemoFraenkel 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 settheory course, Camelia about the approach by
Barwise for handling the liar paradox (and other paradoxes), Laura about ordinal arithmetic and infinitary
combinatorics.

