FG1 Seminar talk

2019-01-18 (13:00)
Juan Aguilera
The consistency strength of long projective determinacy

The following two schemata are equiconsistent over ZFC:

i) Projective determinacy for games of length omega^2; ii) "there are omega + n Woodin cardinals,” for all natural numbers n.

The proof of determinacy from large cardinals is due to Neeman; the existence of models with large cardinals from determinacy is joint work with S. Müller and is what this talk will be about. Both proofs yield sharper bounds.