Mathematical
Logic Group
(Department of
Mathematics, University of
Bonn)
Oberseminar Mathematische Logik
Wintersemester 03/04
Koordination:
23. Oktober 2003
Peter Koepke (Bonn):
Turingmaschinen, Ordinalzahlen und das konstruktible Universum
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
20. November 2003
Ralf Schindler (Münster):
Verallgemeinerungen von Martins Axiom
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
30. November 2003
ILLC-Day
Ort: Hausdorffraum
4. Dezember 2003
Lutz Strüngmann (Essen):
Independence Results in Algebra
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
11. Dezember 2003
Jan Reimann (Heidelberg):
Hausdorff Dimension, Zufälligkeit und Berechenbarkeit
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
18. Dezember 2003
Stefan Bold (z.Zt. Denton, Texas):
An upper bound for delta-1-3
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
8. Januar 2004
Arthur Apter (CUNY):
Indestructibility and Strong Compactness
Entfällt leider!
15. Januar 2004
Jip Veldman (Bonn):
The Interactive Theorem Prover Coq
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
20. Januar 2004
Stephan Kreutzer (HU Berlin):
Kleinste und inflationäre Fixpunktlogiken
Mathematisches Institut, Seminarraum A, 14 - 16 Uhr
29. Januar 2004
Laura Crosilla (Florenz):
A survey on proof theoretic results for fragments of Constructive Zermelo Fraenkel set theory
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
5. Februar 2004
Vladimir Kanovei (Moskau):
A definable nonstandard model of the reals
Mathematisches Institut, Seminarraum A, 16:30 - 18.30 Uhr
Last changed: January 22, 2004