# 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

- DOC fellowship (2020–2022)
**Miguel Antonio Cardona Montoya***Forcing Theory and Combinatorics of the Real Line* - FWF project I3081 (since 2017)
**Martin Goldstern***Filters, Ultrafilters and Connections with Forcing* - FWF project P30666 (since 2018)
**Jakob Kellner***CCC creatures and cardinal characteristics* - FWF project P33420 (since 2021)
**Jakob Kellner***Forcing for set- and model-theory* - FWF project P33895 (starting 2021)
**Jakob Kellner***Boolean ultrapowers and other new forcing techniques* - FWF project T1081 (since 2020)
**Anda Latif***Boolean ultrapowers, creatures, cardinal characteristics* - FWF project M3024 (since 2021)
**Rahman Mohammadpour***Forcing Iterations Using Models as Side Conditions* - FWF project V844 (since 2021)
**Sandra Müller***Long games and determinacy when sets are universally Baire* - FWF project P29860 (since 2017)
**Victor Torres***Forcing Axioms and Compactness Principles without MA*

## Completed projects

- FWF project M1408 (2012)
**David Asperó***Forcing with side conditions and forcing axioms* - 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* - DOC fellowship (2016–2018)
**Anda Tanasie (now: Latif)***The Lifting Problem for Category on $\omega_1$* - FWF project V142 (2010–2013)
**Katherine Thompson***Classification of relational structures in terms of embeddability* - 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* - 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: 2021-04-22