Hauptseminar mathematische Logik (S2A2) / Graduate Seminar on Set Theory (S4A5)

Dozenten

• Prof. Dr. Peter Koepke
• Dr. Peter Holy

Zeit und Ort

Tuesdays, 4pm-6pm, starting April 14th, 2015, room N.008.

Topics

Constructibility Theory.

Programm

1. Jakob Speer: Variations of Diamond and Kurepa trees, pt. 1 [2, III, Lemma 2.1 and III, Lemma 3.4].

2. Julia Garcia No: Variations of Diamond and Kurepa trees, pt. 2 [2, Diamond-Star, Diamond-Plus and III, Theorem 3.6].

3. Lukas Heidemann: Formalizing the logic of set theory [1: 39-41].

4. Marie Pauline Sauvant: The constructible hierarchy [1: 43-45].

5. Irene Rosas Nunez: Definite Formulas and Terms [1: 33-37].

6. Jonathan Gruner: Wellordering L and the Axiom of Constructibility [1: 45-47].

7. Timo Weiss: Condensation Lemma and GCH in L [1: 49-53].

8. Robert Passmann: Diamond holds in L [1: 59-61].

9. Simon Omlor: Square Principles and Trees [1: 71-73 (middle)].

Literatur

[1] Peter Koepke: Simplified Constructibility Theory. Lecture notes.

[2] Keith Devlin: Constructibility. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1984.