Theses supervision

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

• Master theses
  1. Alexander Wendlinger, current
  2. Roman Dörner, current
  3. Proper forcing and countable support iterations Lukas Koschat, S2022.
  4. Indestructibility of MAD families Fabian Kaak, S2022.
  5. Combinatorial Characterizations of Canjar Filters, Lukas Schembecker, S2021.
  6. Cofinitary Groups Maximilian Vötsch, S2020
  7. Lokale Eigenschaften topologischer Funktionenräume und mengenwertige Abbildungen Lesya Zdomska, Diplomarbeit, S2020
  8. Independent and Almost Disjoint Families Wolfgang Poiger, S2019
  9. Towers and Pseudointersections Jonathan Schilhan, S2018
  10. Methods of iteration and applications Ö. Bag, S2018

• Bachelor theses
  1. Der erste Gödelsche Unvollständigkeitssatz, Benita Worm, S2022.
  2. Äquivalente Formulierungen des Auswahlaxioms, Florian Geismann, WS2021.
  3. Lemma von Urysohn, Inge Grissenberger, W2021.
  4. Modelle der Arithmetik, Stefan Lorenz, S2021
  5. Forcing und relative Konsistenzbeweise Julia Buchegger, W2020.
  6. Funktionale Vollständigkeit in der Aussagenlogik Marlene Weid, W2020.
  7. Einführung in Komplexitätsklassen Franz Schekolin, W2020.
  8. Ehrenfeucht-Fraïssé Games Lucia Marchionne, W2020.
  9. Berechenbarkeit, Simone Luksch, S2020
  10. Infinity and choice, Padraig Paul Sweeney, S2020
  11. Martin's Axiom, Measure and Category Alexander Wendlinger, S2019
  12. The Suslin Problem Joaquin Padilla Montani, W2018
  13. The Axiom of Foundation Christoph Hammer, 2018
  14. Ultraprodukte und Nicht-Standard Modelle Lukas Eckerstorfer, S2017
  15. Vaught's Never Two Michael Zechner, W2017
  16. Axiom of Choice Arved Bartuska, S2016
  17. Forcing and applications on boudning, splitting and almost disjointness Jonathan Schilhan, bachelor thesis So2016
  18. Bounding, splitting and almost disjointness Jonathan Schilhan, W2016