The Oberseminar Mengenlehre will take place irregularly
in the Sommersemester 2001. The schedule (provisional) so far is:
| 19.04 | Dimitri Grigoriev (Rennes) | Complexity of Algebraic Proofs |
| 26.04 | fällt aus | |
| 03.05 | Marc van Eijmeren (Bonn) | Two permutation models in which AC fails. |
| 10.05 | Benedikt Löwe (Bonn) | Determiniertheit und Schwache P-Meßbarkeit |
| 17.05 | Peter Koepke (Bonn & Barcelona) | Eine neue Feinstrukturtheorie für konstruktible Modelle |
| 24.05 | fällt aus | |
| 31.05 | fällt aus | |
| 07.06 | Pfingstferien | fällt aus |
| 14.06 | Fronleichnam | fällt aus |
| 21.06 | Michael Möllerfeld (Münster) | Zur Rekursions- und Beweistheorie des mu-Kalküls |
| 28.06 | fällt aus | |
| 05.07 | fällt aus | |
| 12.07 | Joachim Bromand (Bonn) | Parakonsistente Logik und Mengentheorie |
| 19.07 | fällt aus (stattdessen: DIPLOMANDENSEMINAR) | |
| 21.07 16-20 Uhr | Martin Ziegler (Freiburg, z.Zt. Berlin) | Hrushovskis Beweis der Mordell-Lang-Vermutung in Charakteristik p |
Meetings are Thursday 16 s.t. in Seminarraum B for the Logic Coffee, and 16:30 s.t. in Seminarraum B for the talk.
Last changed: June 19th, 2001