Let $\mathsf{ODet}_{\omega_1}(L(\mathbb{R}))$ be the following principle ("determinacy for simple open length-$\omega_1$ games"):

If $\kappa$ is any ordinal and $X\subseteq \kappa^{<\omega_1}$ is in $L(\mathbb{R})$, then the game of length $\omega_1$ on $\kappa$ with payoff set $$[X]:=\{f\in\kappa^{\omega_1}: \exists\alpha\in\omega_1(f\upharpoonright\alpha\not\in X)\}$$ is determined in $V$.

My question is whether $\mathsf{ODet}_{\omega_1}(L(\mathbb{R}))$ is consistent relative to large cardinals. I recall seeing a while ago a proof that the answer is yes, relative to something like a proper class of Woodins, but I can't track it down. (I'm pretty sure I can prove that this principle is equivalent to its clopen game analogue, but that's no easier to prove consistent as far as I can tell.) Neeman's work on long games is the most relevant I can find, but doesn't seem to directly address this unless I'm missing something.

3more comments