Theses supervision

• Doctoral theses
  1. Yipu Li (October 2026 - current)
  2. Berenice Boveland (October 2026 - current)
  3. Julia Marie Millhouse (graduated October 2025)
  4. Lukas Schembecker (graduated March 2024)
  5. Ömer Faruk Bag (graduated July 2022)
  6. Jonathan Schilhan (graduated Jan 2021)

• Master theses
  1. Complexity reduction in combinatorial set theory Yipu Li (University of Amsterdam), S2026.
  2. MAD and MED families and preservation Shad Ali Musthafa, S2026.
  3. Spectra problems in the higher Baire spaces Berenice Boveland, W2025.
  4. Creature focing, splitting and unboundedness Julian Kern, S2025.
  5. Independence in the higher Baire spaces Anna Lenz, S2025.
  6. Template iterations and maximal cofiniatry groups Jakob Lanser, S2025.
  7. Matrix iterations and filter combinatorics Moises Bermejo Moran, S2025.
  8. Introduction to recursion theory and computational complexity Padraig Paul Sweeney, W2024.
  9. Global Tower Spectra and Other Generalized Cardinal Characteristics Silvan Horvath (ETH Zürich), S2024.
  10. On the joint spectra of independence and almost disjointness Kevin Krecisz, S2024.
  11. Einführung in die mathematische Logik Franz Schekolin, S2024.
  12. Gaps in partially ordered sets Roman Dörner, S2023.
  13. Independence and its spectrum Alexander Wendlinger, S2023.
  14. Proper forcing and countable support iterations Lukas Koschat, S2022.
  15. Indestructibility of MAD families Fabian Kaak, S2022.
  16. Combinatorial Characterizations of Canjar Filters, Lukas Schembecker, S2021.
  17. Cofinitary Groups Maximilian Vötsch, S2020
  18. Lokale Eigenschaften topologischer Funktionenräume und mengenwertige Abbildungen Lesya Zdomska, Diplomarbeit, S2020
  19. Independent and Almost Disjoint Families Wolfgang Poiger, S2019
  20. Towers and Pseudointersections Jonathan Schilhan, S2018
  21. Methods of iteration and applications Ö. Bag, S2018

• Bachelor theses
  1. Aussagenlogik und die Unendlichkeitsthematik Lena-Marie Györög, S2026
  2. Die Konstruktion der reellen Zahlen durch Dedekind-Schnitte Andreas Holzer, S2026
  3. Goödels 1. Unvollständigkeitssatz Luca Niclas Brauner, S2026
  4. Einführung in die Kardinalzahlarithmetik, Alexandra Juliana Bartek W2025
  5. Fundierte Relationen, Lukas Chlebovec W2025
  6. Einführung in die Ordinalzahlen, Tanja Grubner S2025
  7. Der Satz von Hessenberg, Marija Kreso S2025
  8. Der Satz von Schröder-Bernstein, Julia Ilic S2025
  9. Grundlagen der axiomatischen Mengenlehre: Von der Begriffsbildung zur Konstruktion von Zahlenmengen Selma Chiba S2025
  10. Die mengentheoretische Konstruktion der reellen Zahlen Melanie Pannagl S2025
  11. Unendlichkeit in der Mathematik: Eine Analysie der Abzählbarkeit und Cantors Diagonalverfahren, Sara Ibrahim W2024
  12. Der Kompaktheitssatz der Aussagenlogik, Patrick Giesinger W2024
  13. Problembereich Fläche: Einstieg in die Maßtheorie, Emma Neureiter W2024
  14. Unendliche Mengen und ihre Kardinalitäten, Sarina - Maria Tröls S2024
  15. On cardinal characteristics at the uncountable, Matthieu Vincent Kuntz, S2024.
  16. Einführung in die allgemeine Topologie: Ausdehnungssatz von Tietze, Johanna Iser, W2023.
  17. Die mengentheoretische Konstruktion der reellen Zahlen, Lena Unger, W2023.
  18. Gödelsche Unvollständigkeit, Johannes Maurer, W2023.
  19. Ordinal- und Kardinalzahlen, Sophia Harsch, W2023.
  20. Aussagenlogik und ihre Anwendungen, Annika Schweinberger, W2023.
  21. Gödels erster Unvollstaändigkeitssatz, Sandra Böheim, W2023.
  22. Die Vollständigkeit der Sprachen erster Stufe, Julian Kerschbaum, S2023.
  23. Kardinalzahlen - Satz von Cantor-Schröder-Bernstein, Daniel Haberfellner, S2023.
  24. Axiom of Choice, Lorenzo Tomaselli, S2023.
  25. Einblick in die unendliche Kombinatorik der reellen Zahlen, Alexandra Leber, S2023.
  26. Cantor Normal Form, Zoia Petrovskaia, W2022.
  27. Aronszajn- und Suslinbäume, David Kuzmits, W2022.
  28. Funktionale Vollständigkeit in der Aussagenlogik, Alexander Stockmair, W2022.
  29. Mächtigkeit der reellen Zahlen, Dominic Brandstätter, S2022.
  30. Von Neumanns Universum der Mengenlehre, Nikolaus Weber, S2022.
  31. Der erste Gödelsche Unvollständigkeitssatz, Benita Worm, S2022.
  32. Äquivalente Formulierungen des Auswahlaxioms, Florian Geismann, W2021.
  33. Lemma von Urysohn, Inge Grissenberger, W2021.
  34. Modelle der Arithmetik, Stefan Lorenz, S2021
  35. Forcing und relative Konsistenzbeweise Julia Buchegger, W2020.
  36. Funktionale Vollständigkeit in der Aussagenlogik Marlene Weid, W2020.
  37. Einführung in Komplexitätsklassen Franz Schekolin, W2020.
  38. Ehrenfeucht-Fraïssé Games Lucia Marchionne, W2020.
  39. Berechenbarkeit, Simone Luksch, S2020
  40. Infinity and choice, Padraig Paul Sweeney, S2020
  41. Martin's Axiom, Measure and Category Alexander Wendlinger, S2019
  42. The Suslin Problem Joaquin Padilla Montani, W2018
  43. The Axiom of Foundation Christoph Hammer, 2018
  44. Ultraprodukte und Nicht-Standard Modelle Lukas Eckerstorfer, S2017
  45. Vaught's Never Two Michael Zechner, W2017
  46. Axiom of Choice Arved Bartuska, S2016
  47. Forcing and applications on boudning, splitting and almost disjointness Jonathan Schilhan, bachelor thesis S2016
  48. Bounding, splitting and almost disjointness Jonathan Schilhan, W2016