F_σ Games and Reflection in L(ℝ)

2019/06/27 by Aguilera, J. P.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1906.11762

Abstract

It is shown that determinacy of F_σ games of length ω² is equivalent to the existence of a transitive model of KP + AD which contains the reals and reflects Π₁ facts about the next admissible set.

Related

• Long Games and σ-Projective Sets
• Projective Games on the Reals
• Determined Admissible Sets
• Determinacy of Schmidt's Game and Other Intersection Games
• AD_\ℝ implies that all sets of reals are \Θ\n universally Baire