|
|
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.
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.
|
|
