Heike Mildenberger, Albert-Ludwigs-Universität Freiburg
Forcing with variants of Miller trees
Guzmán and Kalajdzievski introduced a variant of Miller forcing $P(F)$ that diagonalises a given filter $F$ over $\omega$ and has Axiom A. We investigate the effect of $P(F)$ for particularly chosen Canjar filters $F$. This is joint work with Christian Bräuninger.