Teaching
At TU Wien
- SoSe 2026 Mengenlehre
- SoSe 2026 Inner Model Theory Seminar
- WiSe 2025 Unendliche Spiele
- WiSe 2025 Inner Model Theory Seminar: Scales
- WiSe 2025 Lineare Algebra und Geometrie 1
- SoSe 2025 Mengenlehre
- SoSe 2025 Inner Model Theory Seminar: Derived Models
- WiSe 2024 Inner Model Theory Seminar: Least branch hod mice
- SoSe 2024 Inner Model Theory Seminar: K without the measurable
- WiSe 2023 Inner Model Theory Seminar: HOD Computations
- WiSe 2023 Introduction to Forcing (Takehiko Gappo)
- WiSe 2023 Determinacy (William Chan)
- WiSe 2023 Algebra und Diskrete Mathematik für Informatik und Wirtschaftsinformatik (2 UE)
- SoSe 2023 Set Theory - Constructibility
- SoSe 2023 Inner Model Theory Seminar: Extender algebra
- SoSe 2023 Analysis für Informatik und Wirtschaftsinformatik (UE)
- WiSe 2022 Inner Model Theory Seminar
At the University of Vienna
- SoSe 2020 Axiomatic Set Theory
- SoSe 2020 Advanced Topics in Mathematical Logic
- WiSe 2019/20 Grundzüge der mathematischen Logik
- WiSe 2019/20 Übungen zu Grundzüge der mathematischen Logik
- SoSe 2019 Introduction to Mathematical Logic
- WiSe 2018/19 Grundzüge der mathematischen Logik
- WiSe 2018/19 Übungen zu Grundzüge der mathematischen Logik
- SoSe 2018 Axiomatic Set Theory
- SoSe 2018 Proseminar to Axiomatic Set Theory
- WiSe 2017/18 Introduction to Mathematical Logic
- SoSe 2017 Grundzüge der mathematischen Logik
Teaching Video Series for First Year Students
Master Theses which I have advised
- Lena Wallner, Masterthesis, SoSe 2023, Iteration trees and genericity iterations. PDF.
Bachelor Theses which I have advised
- Benjamin Kattnig, WiSe 2024, Das Auswahlaxiom, die Kontinuumshypothese und das Determiniertheitsaxiom.
- Maximilian Scheiderbauer, SoSe 2024, Forcing. PDF.
- Lena Birschitzky, SoSe 2020, Ordinalzahl-Turingmaschinen. PDF.
- Hongji Liu, SoSe 2020, Zu der Größe der reellen Zahlen.
- Lena Wallner, SoSe 2020, Ehrenfeucht–Fraïssé Spiele und Back-and-Forth Mengen. PDF.
- Max Haunschmidt, SoSe 2019, Logik erster Stufe ist nicht entscheidbar. PDF.
- Lukas Koschat, SoSe 2019, Baire-Räume und ihre Beziehungen zur Mengenlehre. PDF.
- Tim Tomic, SoSe 2019, Von Zahlen, die Axiome sind - Eine Einführung in die Großen Kardinalzahlen. PDF.
- Michael Koller, SoSe 2018, Das Wadge Spiel und die Wadge Hierarchie. PDF.
- Clara Unterberger, SoSe 2018, Kardinalzahlarithmetik. PDF.
- Clemens Moser, WiSe 2017/18, Das konstruierbare Gödelsche Mengenuniversum. PDF.
- Kui Dawei, SoSe 2017, Unendliche Zweipersonenspiele und Mengen von reellen Zahlen.
- Lukas Hendorfer, SoSe 2017, Die Topologie von $\mathbb{R}$ und die Kontinuumshypothese. PDF.
- Michael König, SoSe 2017, Die NP-Vollständigkeit von Tetris. PDF.
At the University of Münster
- WiSe 2015 Repetitorium zur Vorlesung Berechenbarkeitstheorie.
- SoSe 2014, WiSe 2014 und SoSe 2015 Mentorin im Mentoring-Programm für Masterstudentinnen der Mathematik und Informatik.
- SoSe 2013 Doktorandentreffen in Tecklenburg.
- WiSe 2012 Seminar zur Konstruktibilität.