$F_\sigma$ Games and Reflection in $L(\mathbb{R})$
Logic
2019-06-28 v1
Abstract
It is shown that determinacy of 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.
Cite
@article{arxiv.1906.11762,
title = {$F_\sigma$ Games and Reflection in $L(\mathbb{R})$},
author = {J. P. Aguilera},
journal= {arXiv preprint arXiv:1906.11762},
year = {2019}
}
Comments
20 pages. This version: February 2019