In a recent work with David Asperó I proved that the forcing axiom for the class of all the proper posets of small cardinality does not impose any bound on the size of he continuum. The corresponding proof is quite technical and uses some new ideas regarding forcing iteration. During this talk, however, I will prove something more modest: the consistency of the forcing axiom for the class of all the finitely proper posets together with a large continuum. On the one hand, this will give me the opportunity to explain the main ingredients of our main result. On the other, this is near to be optimal since it is consistent to assume that all the small proper posets are finitely proper.
Small proper forcing and the size of the continuum
02.12.2010 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25