Speaker:
Garrett Ervin
Institution:
UCI
Time:
Monday, March 4, 2013 - 4:00pm to 5:30pm
Host:
Location:
RH 440R
We present some basic applications of the Proper Forcing Axiom: Square inaccessibility of all cardinals above \omega_1, and the tree property at \omega_2.