Bonn Mathematical Logic Group

Hauptseminar mathematische Logik (S2A2) / Graduate Seminar on Logic (S4A4)


Dozenten

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.

Letzte Änderung: 17 Mai 2013