Die ist die Homepage des Seminars
"Logik für Fortgeschrittene" im Wintersemester 2011.
Heike Mildenberger.
Martin Ziegler.
Tutorium
Jeff Serbus, Raum 305, nach Vereinbarung
In diesem Seminar lernen wir Beweistheorie.
Hier ist die
Ankündigung aus
aus
dem Kommentierten Vorlesungsverzeichnis vom 6.7.2011.
Zeit und Ort
Di 14-16, SR 318 in der Eckerstr. 1
Vorbesprechung
Mittwoch 3.8.2011, 15 Uhr, in Raum 310.
Vorträge
Die Peanoarithmetik, Martin Ziegler, 25.10.2011
Kapitel 8.3 in Shoenfield, Mathematical Logic, Damaris Lieb, Christoph Bier, November 2011
Kapitel 8.4. in Shoenfield
Wilhelm Keefer, Philipp Bamberger, November/ Dezember 2011
Kapitel 8.5. Martin Rapp, Dezember 2011
Die Peano-Arithmetik beweist nicht den Ramsey-Satz von Paris und Harrington,
(Kapitel von Leo Harrington und Jeff Paris im Handbook of Mathematical Logic, 1984) Sarah Hiller
weitere Themen:
Aus der Fundierheit von $\epsilon_0$ folgt die Konsistenz von PA
Gentzen Schnitt-Elimination
