Begleitseminar zu Bachelorarbeit (S3G1)

Dozenten

• Prof. Dr. Peter Koepke
• Dr. Peter Holy
• Dr. Philipp Lücke

Zeit und Ort

Dienstag, 10:15-12:00 Uhr. Seminarraum N0.008.

Vorträge

1. Tobias Erdweg: Model Theory for Metric Structures (21.04.2015).

2. Sebastian Gurke: Characterization Theorems for Generalized Logics (28.04.2015).

3. Timo Weiß: Paraconsistent Set Theory (05.05.2015).

4. Marie Pauline Sauvant: The measurability of ω₁ under AD (19.05.2015).

5. Lukas Heidemann: Intuitionistic propositional logic (02.06.2015).

6. Marie Pauline Sauvant: The measurability of ω₁ under AD (Part II.) (09.06.2015).

7. Jakob Speer: Guessing principles (16.06.2015).

8. Timo Weiß: A paraconsistent attempt at answering Cantor's last questions (23.06.2015).

9. Richard Obersheimer: Ultrapotenzen und Extender (30.06.2015).

10. Sebastian Gurke: Characterization Theorems for Generalized Logics (14.07.2015).