Hauptseminar mathematische Logik (S2A2) / Graduate Seminar on Logic (S4A4)
Dozenten
- Prof. Dr. Peter Koepke
- Dr. Philipp Lücke
Zeit und Ort
Donnerstag, 08.30-10.00 Uhr, Beginn 11.04.2013, Seminarraum 0.006.Zusätzlicher Termin: Mittwoch, 29.05.2013 (Dies Academicus), 10.15-12.00 Uhr.
Inhalt
Constructibility Theory.Programm
- 1. Igor Voulis: Trees [1: 55-58].
- 2. Tore Carstens: The ◇-principle and Souslin trees [1: 59, 63-65].
- 3. Luisa Vogel: Higher ◇-principles and Souslin trees [1: 65, 67-69].
- 4. Finn Schmieter: Formalizing the logic of set theory [1: 39-41].
- 5. Aras Ergus: The constructible hierarchy [1: 43-45].
- 6. Felix Chopra: Wellordering L and the Axiom of Constructibility [1: 45-47].
- 7. Lisa Sauermann & Tashi Walde: The Condensation Lemma and GCH in L [1: 49-53].
- 8. Ana Njegomir & Dogacan Sertbas: ◇-principles in L [1: 60-61, 66-67].
- 9. Philipp Rönchen & Fabian Schmitthenner: □-principles [1: 71-74].
Literatur
- [1] Peter Koepke: Simplified Constructibility Theory. Lecture notes.
- [2] Keith Devlin: Constructibility. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1984.