FG1 Seminar talk
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.