2 problems

Let $V$ satisfy $obreaktextsf{AD}{\mathbb R}+ obreaktextsf{NLE}+V=L({wp}(\mathbb R))$. Let $obreakDeltasubseteq{wp}(\mathbb R)$ and let…

Let $obreaktextsf{AD}{\mathbb R}$ denote determinacy for real games. Suppose that for every set $Bsubseteqmathbb R$ there is a function $F$ as in Theorem n*x such that $F$ is not p…