ON WINNING STRATEGIES FOR $F_\sigma $ GAMES
Juan P. Aguilera, Robert S. Lubarsky · Journal of Symbolic Logic · 2025
Abstract We prove that every $\Sigma ^0_2$ Gale-Stewart game can be won via a winning strategy $\tau $ which is $\Delta _1$ -definable over $L_{\delta }$ , the $\delta $ th stage of Gödel’s constructible universe, where $\delta = \delta _{\sigma ^1_1}$ , strengthening a theorem of Solovay from the 1970s. Moreover, the bound is sharp in the sense that there is a $\Sigma ^0_2$ game with no strategy $\tau $ which is witnessed to be winning by an element of $L_{\delta }$ .