Using some variants of weak club guessing we separate some fragments of the proper forcing axiom: we show that for every two indecomposable ordinals α < β, the forcing axiom for the class of all the β-proper posets does not imply the bounded forcing axiom for the class of all the α-proper posets. This is joint work with S. Friedman and M. Sabok.
Divorces in the PFA family
15.04.2010 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25