Theses supervision
-
Doctoral theses
- Julia Marie Millhouse, current.
- Lukas Schembecker (graduated March 2024)
- Ömer Faruk Bag (graduated July 2022)
- Jonathan Schilhan
(graduated Jan 2021)
-
Master theses
- Silvan Horvath (ETH Zürich).
- Kevin Krecisz, current.
- Padraig Paul Sweeney, current.
- Franz Schekolin, current.
- Gaps in partially ordered sets Roman Dörner, S2023.
- Independence and its spectrum Alexander Wendlinger, S2023.
- Proper forcing and countable support iterations Lukas Koschat, S2022.
- Indestructibility of MAD families Fabian Kaak, S2022.
-
Combinatorial Characterizations of Canjar Filters, Lukas
Schembecker, S2021.
-
Cofinitary Groups Maximilian Vötsch, S2020
-
Lokale Eigenschaften topologischer Funktionenräume und
mengenwertige Abbildungen Lesya Zdomska,
Diplomarbeit, S2020
-
Independent and Almost Disjoint Families
Wolfgang Poiger, S2019
-
Towers and
Pseudointersections
Jonathan Schilhan, S2018
-
Methods of iteration and applications Ö. Bag, S2018
-
Bachelor theses
-
Einführung in die allgemeine Topologie: Ausdehnungssatz von Tietze ,
Johanna Iser, W2023.
-
Die mengentheoretische Konstruktion der reellen Zahlen,
Lena Unger, W2023.
-
Gödelsche Unvollständigkeit ,
Johannes Maurer, W2023.
-
Ordinal- und Kardinalzahlen ,
Sophia Harsch, W2023.
-
Aussagenlogik und ihre Anwendungen,
Annika Schweinberger, W2023.
-
Gödels erster Unvollständigkeitssatz,
Sandra Böheim, W2023.
-
Die Vollständigkeit der Sprachen erster Stufe,
Julian Kerschbaum, S2023.
-
Kardinalzahlen - Satz von Cantor-Schröder-Bernstein,
Daniel Haberfellner, S2023.
-
Axiom of Choice,
Lorenzo Tomaselli, S2023.
-
Einblick in die unendliche Kombinatorik der reellen Zahlen,
Alexandra Leber, S2023.
-
Cantor Normal Form,
Zoia Petrovskaia, W2022.
-
Aronszajn- und Suslinbäume,
David Kuzmits, W2022.
-
Funktionale Vollständigkeit in der Aussagenlogik,
Alexander Stockmair, W2022.
-
Mächtigkeit der reellen Zahlen,
Dominic Brandstätter, S2022.
-
Von Neumanns Universum der Mengenlehre,
Nikolaus Weber, S2022.
-
Der erste Gödelsche Unvollständigkeitssatz,
Benita Worm, S2022.
-
Äquivalente Formulierungen des Auswahlaxioms,
Florian Geismann, W2021.
-
Lemma von Urysohn, Inge Grissenberger, W2021.
Modelle der Arithmetik, Stefan Lorenz, S2021
Forcing und
relative Konsistenzbeweise
Julia Buchegger, W2020.
Funktionale
Vollständigkeit in der Aussagenlogik
Marlene Weid, W2020.
Einführung in Komplexitätsklassen
Franz Schekolin, W2020.
Ehrenfeucht-Fraïssé Games
Lucia Marchionne, W2020.
Berechenbarkeit, Simone Luksch, S2020
Infinity and choice, Padraig Paul Sweeney, S2020
Martin's Axiom, Measure and
Category Alexander Wendlinger, S2019
The Suslin Problem Joaquin Padilla Montani, W2018
The Axiom of
Foundation Christoph Hammer, 2018
Ultraprodukte und Nicht-Standard Modelle Lukas
Eckerstorfer, S2017
Vaught's Never Two Michael Zechner, W2017
Axiom of Choice Arved Bartuska, S2016
Forcing and applications on boudning, splitting and almost
disjointness Jonathan Schilhan, bachelor thesis So2016
Bounding, splitting and almost disjointness Jonathan
Schilhan, W2016
Last modified: Tue Apr 9 16:42:07 CEST 2024