18. April 2002 | Philip Welch (Bristol / Bonn) | BMM (Bounded Martin's Maximum) und die Kontinuumshypothese |
---|---|---|
25. April 2002 | Marcus Kracht (Berlin) | Über ein Problem von Kuznetsov |
2. Mai 2002 | Peter Koepke (Bonn) | Homogeneously Suslin Sets in Small Models of Set Theory |
16. Mai 2002 | Peter van Emde Boas (Amsterdam) | Imperfect Information Games; looking for the right model |
6. Juni 2002 | Patrick Speissegger (Madison WI) | "Tame" expansions of the real field that are not o-minimal |
11. Juni 2002 | Juan Carlos Martinez (Barcelona) | Constructions of thin-tall Boolean spaces - 14:30; SR A |
12.Juni 2002 | Patrick Blackburn (Nancy) | clUB I: Hybrid Logic - 19 c.t., LFB I, Großer Übungsraum (Hauptgebäude) |
13. Juni 2002 | Piotr Rudnicki (Edmonton AB) | The Mizar proof-checker in education of mathematics |
20. Juni 2002 | Ralf Schindler (Wien) | Einfache Korrektheitsbeweise |
4. Juli 2002 | Panu Raatikainen (Helsinki) | Complexity, information, and incompleteness - a critical examination of algorithmic information theory - 16 s.t., Hörsaal XII (Hauptgebäude) |
11. Juli 2002 | Stefan Bold (Bonn) | Ein neuer Beweis der starken Partitionseigenschaft von omega1 (nach Steve Jackson) |
18. Juli 2002 | Kai Wehmeier (Tübingen) | Sind Freges Wertverläufe logische Gegenstände? |
Donnerstags um 16:30 Uhr im Seminarraum B (Be4); vorher um 16:00 s.t. findet der traditionelle Logik-Kaffee in Raum Be4Zi28 statt.