# 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 P29907 (since 2017)
**Barnabas Farkas***Borel ideals and filters* - FWF project P24725 (since 2012)
**Martin Goldstern***Cardinal characteristics and large continuum* - FWF project I3081 (since 2017)
**Martin Goldstern***Filters, Ultrafilters and Connections with Forcing* - FWF project P29575 (since 2016)
**Martin Goldstern***Forcing Methods: Creatures, Products and Iterations* - FWF project P30666 (starting 2018)
**Jakob Kellner***CCC creatures and cardinal characteristics* - FWF project P26737 (since 2014)
**Jakob Kellner***Set Theory of the Reals and Large Continuum* - FWF project I1272 (since 2014)
**Jakob Kellner***New developments regarding forcing in set theory* - DOC fellowship (since 2016)
**Anda Tanasie***The Lifting Problem for Category on $\omega_1$* - DOC fellowship (starting 2017)
**Fabio Tonti***Set Theory of the Reals* - 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 M1365 (2014–2015)
**Vera Fischer***Infinite combinatorics and large continuum* - FWF project P21968 (2009–2012)
**Martin Goldstern***Set Theory: Forcing, projective sets and morasses* - FWF project P23875 (2014–2016)
**Jakob Kellner***Forcing, creatures, oracles and large continuum* - FWF project V142 (2010–2013)
**Katherine Thompson***Classification of relational structures in terms of embeddability* - 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*

Last update: 2017-07-20