David Aspero: A reflection principle compatible with the continuum large (1)

Week 1, Tuesday June 16, 15:15-16:05

I will define a certain reflection principle that follows from BPFA. Then I will show how to build a proper poset forcing this principle together with the continuum larger than omega_2. This poset can be described as a "rigid" iteration with systems of side conditions. This is joint work with Miguel Angel Mota.