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