Speaker:
Christoph Weiss
Institution:
UCI
Time:
Monday, April 8, 2013 - 4:00pm to 5:30pm
Host:
Location:
RH 440R
We continue with an introduction to the principle ISP and its relatives as well as their connections to supercompact cardinals and the proper forcing axiom. In particular, we prove that PFA implies ISP.