Seminar Modelltheorie (Seminar zur Mengenlehre)

Wintersemester 04/05

• Prof. Dr. Peter Koepke

• Jip Veldman (veldman at math.uni-bonn.de)

Dieses Seminar bietet eine Einführung in die Modelltheorie und baut auf der Vorlesung Einführung in die Mathematische Logik des Sommersemesters 2004 auf.

Literatur: Phillip Rothmaler, Einführung in die Modelltheorie, Spektrum Akademischer Verlag, 1995.

• 12.10.Vortrag: Elementare Abbildungen. Rothmaler 8.1-8.5 (p.147-166). (J.Kirsten)
• 19.10. Vortrag: Elimination I. Rothmaler 9.1-9.3 (p.167-181). (R.Junker) Hausaufgabe: Ü2 p.83 Rothmaler. Abgabe: 26.10.
• 26.10. Vortrag: Elimination II. Rothmaler 9.4-9.6 (p.182-198). (E.Poljakowa) Hausaufgabe: 2 aus Ü1-3 p.181-182 Rothmaler. Abgabe: 02.11.
• 02.11. Vortrag: Ketten. Rothmaler 10.1-10.3 (p.199-210). (T.Lichtenstein) Hausaufgabe: Ü2 p.188 Rothmaler (Hinweis: vgl. Bemerkungen p.80) und Ü3 p.198 Rothmaler. Abgabe: 09.11.
• 09.11. Vortrag: Typen I. Rothmaler 11.1-11.3 (p.211-224). (S.Portoff)
• 16.11. Vortrag: Typen II. Rothmaler 11.4-11.6 (p.225-238). (E.Hammer) Hausaufgabe: 2 Aufgabe aus §11.4 und §11.5. Abgabe: 23.11.
• 23.11. und 30.11. Vortrag: Dicke und dünne Modelle. Rothmaler 12.1-12.3 (p.239-255). (B.Seyffoth)
• 7.12. Vortrag: Abzählbare vollständige Theorien. Rothmaler 13.1-13.4 (p.256-266). (S.Hensel)
• 14.12 Fällt aus.
• 21.12 Fällt aus.
• 11.1. Vortrag: Z I. Rothmaler 14.1-14.3 (p.267-279). (A.Stuckmann)
Hausaufgabe: Bemerkungen 1 und 2 S.270 beweisen und Ü1 S.271 (statt 2 Aufgaben, darft man auch 1 Aufgabe abgeben, wenn man dazu auch §9.1 durcharbeitet). Abgabe:18.1.
• 18.1. Vortrag: Z II. Rothmaler 14.4-14.5 (p.280-295).(J.Meyberg)
• 25.1. Vortrag: Z III Rothmaler 14.6-14.8 (p.296-310).(N.Becker)
• 1.2. Vortrag: Ultraprodukte (K.Gundelach) und Vortrag: Nicht Standard Analysis (M.Klein)

Dienstags 14-16 Uhr (c.t.) im Seminarraum A (Be4). Erster Vortag: 12. Oktober!

Lösung Aufgabe 2, p.83 Rothmaler hier.