Speaker:
Martin Zeman
Institution:
UCI
Time:
Monday, February 22, 2016 - 4:00pm to 5:30pm
Host:
Location:
RH 440R
We continue the discussion of Viale-Weiss paper ``On the consistency strength of the proper forcing axiom". We complete the proof that PFA implies existence of stationarily many guessing models.