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. Kevin Krecisz, current.
  2. Padraig Paul Sweeney, current.
  3. Silvan Horvath (ETH Zürich), S2024.
  4. Franz Schekolin, S2024.
  5. Gaps in partially ordered sets Roman Dörner, S2023.
  6. Independence and its spectrum Alexander Wendlinger, S2023.
  7. Proper forcing and countable support iterations Lukas Koschat, S2022.
  8. Indestructibility of MAD families Fabian Kaak, S2022.
  9. Combinatorial Characterizations of Canjar Filters, Lukas Schembecker, S2021.
  10. Cofinitary Groups Maximilian Vötsch, S2020
  11. Lokale Eigenschaften topologischer Funktionenräume und mengenwertige Abbildungen Lesya Zdomska, Diplomarbeit, S2020
  12. Independent and Almost Disjoint Families Wolfgang Poiger, S2019
  13. Towers and Pseudointersections Jonathan Schilhan, S2018
  14. Methods of iteration and applications Ö. Bag, S2018

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