Set theory seminarMonday, March 30, 20155:00 pmnote new timeGC 3309
Harrington’s Principle and remarkable cardinals
Ralf Schindler
University of Münster
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.
Notice the unusual day and time.
Ralf Schindler is a professor at the University of Münster. He earned his PhD in 1996 at the University of Bonn and Habilitation in 2001 at Humboldt University of Berlin. He has also held research and teaching positions at UC Berkeley, University of Bonn, and University of Barcelona among others. His research interests include inner model theory, large cardinals, and forcing.
Posted by on February 3rd, 2015