Theses supervision

• Doctoral theses
  1. Julia Marie Millhouse, current.
  2. Lukas Schembecker (graduated March 2024)
  3. Ömer Faruk Bag (graduated July 2022)
  4. Jonathan Schilhan (graduated Jan 2021)

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

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