Speaker:
Ralf-Dieter Schindler
Institution:
Muenster University, Germany and UC Berkeley
Time:
Monday, February 24, 2014 - 4:00pm to 5:30pm
Host:
Location:
RH 440R
It is open whether \Pi^1_1 determinacy implies the existence of 0^\# in 3rd order arithmetic, call it Z_3. We compute the large cardinal strength of Z_3 plus "there is a real x such that every x-admissible is an L-cardinal." This is joint work with Yong Cheng.