Teaching

Hamburg

Summer 2024

• Proseminar: Maß und Kategorie.

Winter 2023/24

• Blockseminar: Kombinatorische Mengenlehre.

Bonn

Summer 2020

• Problem classes: Grundzüge der Mathematik II.



Winter 2019/20

• Problem classes: Introduction to Mathematical Logic.
• Graduate seminar: Independence Results in Mathematics.
• Oberseminar Mathematische Logik.



Summer 2019

• Lecture course: Models of Set Theory.
• Oberseminar Mathematische Logik.



Winter 2018/19

• Seminar: Practical logic and automated reasoning.
• Problem classes: Set Theory.
• Oberseminar Mathematische Logik.



Summer 2018

• Problem classes: Introduction to Mathematical Logic.
• Graduate seminar: Large Cardinals and Strong Logics.
• Oberseminar Mathematische Logik.



Winter 2017/18

• Lecture course: Model Theory.
• Seminar: Set Theory.
• Oberseminar Mathematische Logik.



Summer 2017

• Problem classes: Models of Set Theory I.
• Oberseminar Mathematische Logik.



Winter 2016/2017

• Seminar: Model theory.
• Oberseminar Mathematische Logik.



Summer 2016

• Lecture course: Forcing and large cardinals.
• Problem classes: Introduction to Mathematical Logic.
• Begleitseminar zu Bachelorarbeit.
• Oberseminar Mathematische Logik.



Winter 2015/2016

• Graduate seminar on logic.
• Begleitseminar zu Bachelorarbeit.
• Oberseminar Mathematische Logik.



Summer 2015

• Lecture course: Models of Set Theory.
• Begleitseminar zu Bachelorarbeit.
• Oberseminar Mathematische Logik.



Winter 2014/2015

• Lecture course: Set Theory.
• Seminar: Model Theory.
• Oberseminar Mathematische Logik / Graduate seminar on Set Theory.



Summer 2014

• Lecture course: Forcing.
• Undergraduate seminar: Computability.



Winter 2013/2014

• Problem classes: Lineare Algebra I.
• Graduate seminar: Forcing and Large Cardinals.



Summer 2013

• Problem classes: Models of Set Theory I.
• Seminar: Constructibility.



Winter 2012/2012

• Seminar: Automated Theorem Proving.



Summer 2012

• Problem classes: Introduction to Mathematical Logic.
• Graduate seminar: Proper Forcing.