arXiv Analytics

Sign in

arXiv:1906.11762 [math.LO]AbstractReferencesReviewsResources

$F_σ$ Games and Reflection in $L(\mathbb{R})$

J. P. Aguilera

Published 2019-06-27Version 1

It is shown that determinacy of $F_\sigma$ games of length $\omega^2$ is equivalent to the existence of a transitive model of KP + AD which contains the reals and reflects $\Pi_1$ facts about the next admissible set.

Comments: 20 pages. This version: February 2019
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1206.3920 [math.LO] (Published 2012-06-18)
The problem of Horn and Tarski
arXiv:2306.01790 [math.LO] (Published 2023-05-31)
Nash Equilibrium and Axiom of Choice Are Equivalent
arXiv:math/9608203 [math.LO] (Published 1996-08-06)
Determinacy and Δ^1_3-degrees

Links

Toolbox