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.