I am a Set Theorists, my main interests are Forcing, Forcing Axioms and Large Cardinals.
Currently, I am a postdoc at TU Wien, being part of the Set Theory group there.
Previously, I completed my PhD under Ralf Schindler at the university of Münster. You can find my thesis here.
We give a characterization of when exactly two forcings are forcing equivalent. We also argue that dense embeddings should be renamed.
We discuss how the properness of Cohen forcing at $\omega_1$, as defined in $V$ is affected by adding a Cohen real to $V$. It turns out that this forcing stays proper iff $\mathrm{CH}$ holds in $V$.
We give a short proof of the basic facts about Namba forcing: It preserves stationary subsets of $\omega_1$ (in particular it does not collapse $\omega_1$) and if $\mathrm{CH}$ holds then it does not add reals. Along the way we also prove that Namba forcing is semiproper iff the cofinal Strong Chang Conjecture holds.
The Association for Symbolic Logic has awarded me the Sacks prize for the most outstanding doctoral dissertation in mathematical logic of 2023! You can find my thesis here. The other winner is Scott Mutchnik.
Complete Boolean algebras can be an extremely useful tool for forcing. However, the notion of a cBa is backwards in the theory of forcing.
I am a Set Theorist, my main interests are Forcing, Forcing Axioms and Large Cardinals.
Currently, I am a postdoc at TU Wien and part of the Set Theory group there. I work with Sandra Müller.
Previously, I completed my PhD under the supervision of Ralf Schindler at the university of Münster. You can find my thesis here.