2 problems

Let $V$ satisfy $obreak\textsf{AD}_{\mathbb R}+ obreak\textsf{NLE}+V=L({\wp}(\mathbb R))$. Let $obreak\Delta\subseteq{\wp}(\mathbb R)$ and let…

Let $obreak\textsf{AD}_{\mathbb R}$ denote determinacy for real games. Suppose that for every set $B\subseteq\mathbb R$ there is a function $F$ as in Theorem nx such that $F$ is n…