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.