Speaker:
Andres Forero
Institution:
UCI
Time:
Monday, April 2, 2012 - 4:00pm to 5:30pm
Host:
Location:
RH 440R
Given a measurable cardinal \kappa, any \Sigma^1_3 statement is absolute for generic extensions via forcings of size <\kappa. A proof of this classical theorem will be presented.