| 18. April 2002 | Frank Gerolstein | Normalitätseigenschaften des Solovay-Objekts unter AD, Teil 1 |
|---|---|---|
| 25. April 2002 | Stefan Hörsting | Übersichtsvortrag über: Deutsch, Ekert, Lupacchini, "Machines, logic and quantum physics" (Bulletin of Symbolic Logic 2000) |
| Patrick Braselmann | Übersichtsvortrag über: Palmgren, "Developments in constructive nonstandard analysis" (Bulletin of Symbolic Logic 1998) | |
| 2. Mai 2002 | Frank Gerolstein | Normalitätseigenschaften des Solovay-Objekts unter AD, Teil 1a |
| 16. Mai 2002 | ||
| 6. Juni 2002 | ||
| 13. Juni 2002 | ||
| 20. Juni 2002 | ||
| 27. Juni 2002 | Frank Gerolstein | Übersichtsvortrag über: Pohlers, "Pure proof theory, aims, methods and results" (Bulletin of Symbolic Logic 1996) |
| Tanja Hötte | Übersichtsvortrag über: Väänänen, "Second-order logic and foundations of mathematics" (Bulletin of Symbolic Logic 2001) | |
| 4. Juli 2002 | Gido Scharfenberger | Übersichtsvortrag über: Eklof, "Set theory generated by Abelian group theory" (Bulletin of Symbolic Logic 1997) |
| 11. Juli 2002 | ||
| 18. Juli 2002 |
Donnerstags um 14 Uhr c.t. im Seminarraum F (MA160)
Für Rückfragen stehen wir jederzeit unter logic (at) math.uni-bonn.de zur Verfügung.
Last changed: May 22th, 2002