
AbstractWe determine the consistency strength of determinacy for projective games of length ω2. Our main theorem is that $\Pi _{n + 1}^1 $-determinacy for games of length ω2 implies the existence of a model of set theory with ω + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that Mn (A), the canonical inner model for n Woodin cardinals constructed over A, satisfies $$A = R$$ and the Axiom of Determinacy. Then we argue how to obtain a model with ω + n Woodin cardinal from this.We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length ω2 with payoff in $^R R\Pi _1^1 $ or with σ-projective payoff.
inner model theory, Determinacy principles, Large cardinals, Logic, 101013 Mathematische Logik, infinite game, Mathematics - Logic, 101013 Mathematical logic, Philosophy, Mathematics and Statistics, Inner models, including constructibility, ordinal definability, and core models, large cardinal, long game, FOS: Mathematics, determinacy, Logic (math.LO), Descriptive set theory, mouse, 03E45, 03E60, 03E15, 03E55
inner model theory, Determinacy principles, Large cardinals, Logic, 101013 Mathematische Logik, infinite game, Mathematics - Logic, 101013 Mathematical logic, Philosophy, Mathematics and Statistics, Inner models, including constructibility, ordinal definability, and core models, large cardinal, long game, FOS: Mathematics, determinacy, Logic (math.LO), Descriptive set theory, mouse, 03E45, 03E60, 03E15, 03E55
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 4 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
