Andreas Lietz
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.
The Basics of Namba Forcing
A streamlined approach. March 22nd, 2024
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.
News!
Sacks Prize February 13, 2024
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.
Don't Force With Complete Boolean Algebras!
Use complete Boolean orders instead. January 25th, 2024
Complete Boolean algebras can be an extremely useful tool for forcing. However, the notion of a cBa is backwards in the theory of forcing.
Andreas Lietz
I am a Set Theorists, 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.