A model with fragments of projective determinacy and failures of $\mathsf{DC}$

Sandra Müller, Bartosz Wcisło

We describe a construction of a model of second order arithmetic in which (boldface) ${\mathbf{\Pi }}_{\mathbf{n}}^1$-determinacy holds, but (lightface) ${\Pi }_{n+2}^1$-$\mathsf{DC}$ fails, thus showing t…