Students
The following students at the KGRC study (or graduated with) a PhD degree (Doktorat), a Master degree, or a Diplom (a curriculum comparable to a combination of Bachelor and Master).
We also offer a list of the Alumni of the Logistik Institut (1967–1999).
Current PhD students
- Julia Marie Millhouse, supervised by V. Fischer
- Julian Ziegler Hunts, supervised by M. Aschenbrenner
Current Master students
- Silvan Horvath (ETH Zürich)by V. Fischer
- Kevin Krecisz, by V. Fischer
- Padraig Paul Sweeney, by V. Fischer
- Franz Schekolin, by V. Fischer
Alumni
PhD
- Carolin Antos-Kuby, Foundations of Higher-Order Forcing, 2015/09, supervised by S. Friedman
- Ömer Faruk Bag, On higher Baire spaces combinatorics, 2022/07, supervised by V. Fischer
- Andrew Brooke-Taylor, Large Cardinals and L-Like Combinatorics, 2007/06, supervised by S. Friedman
- Arthur Fischer, Forcing: Larger cardinals in Cichon's diagram, and PFA(S)[S], 2015/02, supervised by J. Kellner
- Tomáš Futáš, Internal Consistency and the Singular Cardinal Hypothesis, 2006/11, supervised by S. Friedman
- Mohammad Golshani, The effects of adding a real to models of set theory, 2012/02, at University of Kerman, external advisor by S. Friedman
- Ajdin Halilovic, The tree property, 2010/12, supervised by S. Friedman
- Stefan Hoffelner, Projective Wellorders and the Nonstationary Ideal, 2016/09, supervised by S. Friedman
- Peter Holy, Condensation and Large Cardinals, 2010/12, supervised by S. Friedman
- Radek Honzik, Easton's Theorem and Large Cardinals, 2008/09, at Charles University, Prague; external supervised by S. Friedman
- Manuel Inselmann, Generalized notions of recurrence: bases and the existence of invariant probability measures, 2020/01, supervised by B. Miller
- Jakob Kellner, Definable Forcings, 2004/09 (external adviser: M. Goldstern, TU Wien)
- Marlene Koelbing, Special Aronszajn Trees and Kurepa Trees, 2024/06, supervised by S. Friedman
- Giorgio Laguzzi, Arboreal Forcing Notions and Regularity Properties of the Real Line, 2012/06, supervised by S. Friedman
- Diana Carolina Montoya Amaya, Some cardinal invariants of the generalized Baire spaces, 2017/06, supervised by S. Friedman
- Pavel Ondrejovic, Internal Consistency and Easton's Theorem, 2007/03, supervised by S. Friedman
- Boris Piwinger, Mind the Gap, 2004/06, supervised by S. Friedman
- Alexander Pluska, Automated deduction for intuitionistic logic via embedding into classical logic, 2022, supervised by M. Aschenbrenner
- Lukas Schembecker, Forcing combinatorics, compact partitions, cofinitary groups and Van Douwen families, 2024/3 supervised by V. Fischer
- Jonathan Schilhan, Combinatorics and definability on the real line and the higher continuum, 2021/01, supervised by V. Fischer
- David Schrittesser, Projective measure without projective Baire, 2010/09, supervised by S. Friedman
Diplom/Master
- Carolin Antos, Extensions which do not have new large cardinals, 2010/09, supervised by S. Friedman
- Julian Backé, Separable quotients of function spaces and Efimov spaces, 2018/07, supervised by L. Zdomskyy
- Ömer Bag, Methods of iteration and applications, 2018/10, supervised by V. Fischer
- Jan Bydžovský, Powers of Models in Weak Arithmetics, 2018/03, supervised by M. Müller
- Roman Dörner, Gaps in partially ordered sets, 2023/7, surpervised by V. Fischer
- Fabian Ebner, Towards a descriptive version of Ramsey's Theorem, 2020, surpervised by Benjamin Miller
- Ajdin Halilovic, PCF Theory, 2007/11, supervised by S. Friedman
- Angela Henke, Stationary Reflection, 2014/11,supervised by S. Friedman
- Stefan Hoffelner, On the saturation of the nonstationary ideal, 2011/03, supervised by S. Friedman
- Peter Holy, Absoluteness Principles in Set Theory, 2007/09, supervised by S. Friedman
- Thomas Imre, Semantic methods in bounded arithmetic, 2015/11, supervised by S. Friedman
- Fabian Kaak, Indestructibility of MAD families, 2022/04, supervised by V. Fischer
- Martin Köberl, The determinacy of locally uncountable games, 2015/05, supervised by S. Friedman
- Lukas Koschat, Proper forcing and countable support iterations, 2022/08, supervised by V. Fischer
- Timo Lang, Old and new results on ordinal definability, 2016/04, supervised by S. Friedman
- Alexander Linsbichler, The computable models of uncountably categorical theoriesan inquiry in recursive model theory, 2011, supervised by S. Friedman
- Jan Maly, Jan Krajicek's Forcing Construction and Pseudo Proof Systems, 2016/08, supervised by M. Müller
- Michael Mortinger, Comparing the relative complexity of equivalence relations via strong reduction functions, 2022,
- Wolfgang Poiger, Independent and Almost Disjoint Families, 2019/11, supervised by V. Fischer
- Lukas Schembecker, Combinatorial Characterizations of Canjar Filters, 2021/5, supervised by V. Fischer
- Jonathan Schilhan, Towers and Pseudointersections, 2018/04, supervised by V. Fischer
- David Schrittesser, Sigma^1_3-Absoluteness in Forcing Extensions, 2004/07, supervised by S. Friedman
- Christoph Schöller, Pospositional Logic, Complexity Theorie and a Nontrivial Hierarchy of Theories of weak fragments of Peano Artihmetic, 2011/06, supervised by S. Friedman
- Georg Smejda, Provability Logic - Completeness and incompleteness results, 2011/02, supervised by S. Friedman
- Anda-Ramona Tănasie, The splitting number and some of its neighbors, 2013/10, supervised by S. Friedman
- Fabio Elio Tonti, On the Structure of Countable Borel Equivalence Relations and the Classification Problem for Torsion-Free Abelian Groups, 2014/10, supervised by S. Friedman
- Michael Toppel, Syntactical Consistency Proofs for Term Induction Revisited: Two Different Methods, 2011/08, supervised by J. Kellner, secondary adviser M. Baaz, TU Wien
- Maximilian Vötsch, Cofinitary Groups, 2020/8, supervised by V. Fischer
- Alexander Wendlinger, Independence and its spectrum, 2023/3, supervised by V. Fischer
- Lesya Zdomska, Lokale Eigenschaften topologischer Funktionenräume und mengenwertige Abbildungen, Diplomarbeit, 2020/4, supervised by V. Fischer
- Michael Zechner, Aspects of Vaught's conjectur, 2021, supervised by S. Friedman