25.10 | Stefan Geschke (Berlin) | Konvexgeometrie und Forcing |
08.11 | Zbigniew Blocki (Krakau / MPI Bonn) | Enigma |
15.11 | FÄLLT AUS | |
22.11 | Jörg Brendle (Kobe) | Neue Methoden in der Iterationstheorie |
28.11. (14-16 Uhr) | Qi Feng (Peking / Berlin) | Stationary Reflection Principles (Seminarraum C) | 29.11 |
06.12 | John Steel (Berkeley / Berlin) | Homogeneously Suslin Sets |
13.12 | Philipp Rohde (Bonn) | Monadische Logik zweiter Stufe und modaler mu-Kalkül |
20.12 | ||
10.01 | Jacob Rosenthal (Bonn) | Die Propensity-Theorie der Wahrscheinlichkeit |
17.01 | Oliver Kutz (Leipzig) | Abstrakte Beschreibungssysteme und die Verknüpfung (fast) beliebiger Wissensrepräsentationsformalismen |
24.01 | FÄLLT AUS | |
31.01 | Vladimir Kanovei (Moscow / Wuppertal) | On countably-determined reducibility of monad equivalence relations in a hyperfinite domain |
06.02 (14-16 Uhr) | Sandra Quickert (Bonn) | CH und die Sacks property (Hausdorffraum Be3, EG) |
07.02 | Pascal Hitzler (Dresden) | Logikprogrammierung, Stetigkeit, künstliche neuronale Netzwerke |
14.02 | Oliver Deiser (München) | Große Kardinalzahlen und Linksdistributivität |
Meetings are Thursday 16 s.t. in Be4Zi28 for the Logic Coffee, and 16:30 s.t. in Seminarraum B for the talk.