1. Woche | Einführung von Ultraprodukten, Satz von Łos und Gruppenwirkungen. |
| Vortragender: A. Martin-Pizarro. |
2. bis 4. Woche | Saturation und Satz von Keisler-Shelah |
| Vortragenden: A. Engert, C. Bräuninger und B. Stuber-Rousselle. |
| Literatur:
Chang-Keisler: Model Theory. |
H. J. Keisler: Ultraproducts and saturated models. . |
S. Shelah: Every two elementarily equivalent models have isomorphic ultrapowers. |
|
5. Woche | Nichtstandardanalysis. |
| Vortragender: M. Lösch. |
| Literatur:
L. van den Dries: Generating the greatest common divisor and limitations of primitive recursive algorithms. |
|
6. bis 7. Woche | Unendliche Kombinatorik: Sätze von Hindman und van der Waerden. |
| Vortragenden: A. Claessens und P. Meurin. |
| Literatur:
|
8. bis 10. Woche | Nichtstandardanalysis im Polynomring. |
| Vortragenden: A.M. Ammer und T. Engler. |
| Literatur:
L. van den Dries & K. Schmidt: Bounds in the theory of polynomial rings over fields. A nonstandard approach.
|
|