# Research projects

We gratefully acknowledge funding from the following research grants that were implemented at our group since our institute's establishment in 2004.

## Current and upcoming projects

- FWF project I5918 (since 2022)
**Barnabas Farkas***Analytic P-ideals, Banach spaces, and measure algebras* - FWF project P33420 (since 2021)
**Jakob Kellner***Forcing for set- and model-theory* - FWF project P33895 (since 2021)
**Jakob Kellner***Boolean ultrapowers and other new forcing techniques* - FWF project P35655 (since 2022)
**Andrea Medini***Questions on topological homogeneity* - FWF project P35588 (since 2023)
**Andrea Medini***Topological Applications of Wadge Theory* - FWF project M3024 (since 2021)
**Rahman Mohammadpour***Forcing Iterations Using Models as Side Conditions* - ÖAW APART-Mint fellowship 12029 (2023–2024)
**Rahman Mohammadpour***Side Conditions and Thin-Tall LCS Spaces* - FWF project T1100 (since 2020)
**Diana Carolina Montoya***Singular cardinals and cardinal characteristics* - FWF project Y1498 (since 2023)
**Sandra Müller***Start Prize: Determinacy and Woodin limits of Woodin cardinals* - FWF project I6087 (since 2023)
**Sandra Müller***Classifying Derived Models of the Axiom of Determinacy* - FWF project I5930 (2022–2026)
**Lyubomyr Zdomskyy***Set-theoretic aspects of topological selections*

## Completed projects

- FWF project M1408 (2012)
**David Asperó***Forcing with side conditions and forcing axioms* - ÖAW DOC fellowship (2020–2022)
**Miguel Antonio Cardona Montoya***Forcing Theory and Combinatorics of the Real Line* - FWF project M1514 (2013–2015)
**Vincenzo Dimonte***The Universe under Very Large Cardinals Hypotheses* - FWF project P29907 (2017–2020)
**Barnabas Farkas***Borel ideals and filters* - FWF project M1365 (2014–2015)
**Vera Fischer***Infinite combinatorics and large continuum* - FWF project P24725 (2012–2017)
**Martin Goldstern***Cardinal characteristics and large continuum* - FWF project P21968 (2009–2012)
**Martin Goldstern***Set Theory: Forcing, projective sets and morasses* - FWF project P29575 (2016–2019)
**Martin Goldstern***Forcing Methods: Creatures, Products and Iterations* - FWF project I1272 (2014–2017)
**Jakob Kellner***New developments regarding forcing in set theory* - FWF project P23875 (2014–2016)
**Jakob Kellner***Forcing, creatures, oracles and large continuum* - FWF project P26737 (2014–2019)
**Jakob Kellner***Set Theory of the Reals and Large Continuum* - FWF project P30666 (2018–2022)
**Jakob Kellner***CCC creatures and cardinal characteristics* - FWF project V844 (2021–2023)
**Sandra Müller***Long games and determinacy when sets are universally Baire* - ÖAW DOC fellowship (2016–2018)
**Anda Latif Tanasie***The Lifting Problem for Category on $\omega_1$* - FWF project T1081 (2020–2023)
**Anda Latif Tanasie***Boolean ultrapowers, creatures, cardinal characteristics* - FWF project V142 (2010–2013)
**Katherine Thompson***Classification of relational structures in terms of embeddability* - ÖAW DOC fellowship (2017–2019)
**Fabio Tonti***Set theory of the Reals* - FWF project P26869 (2014–2017)
**Victor Torres***Rado's Conjecture, the Tree Property, Square Principles and Topology* - FWF project P29860 (2017–2021)
**Victor Torres***Forcing Axioms and Compactness Principles without MA* - FWF project I3081 (since 2017)
**Martin Goldstern***Filters, Ultrafilters and Connections with Forcing* - ÖAW DOC fellowship (2010–2012)
**Wolfgang Wohofsky***Small subsets of the real line and generalizations of the Borel Conjecture* - FWF project I2374 (2017–2018)
**Lyubomyr Zdomskyy***Logic and Topology in Banach spaces (only partially implemented at TU Wien)*

Last update: 2023-11-08