A model with fragments of projective determinacy and failures of $\mathsf{DC}$
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
We describe a construction of a model of second order arithmetic in which (boldface) $\bm{\Pi^1_n}$-determinacy holds, but (lightface) $\Pi^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full $\mathsf{DC}_{\mathbb{R}}$. The construction builds upon the work of Gitman, Friedman, and Kanovei.
Sandra Müller、Bartosz Wcis?o
数学
Sandra Müller,Bartosz Wcis?o.A model with fragments of projective determinacy and failures of $\mathsf{DC}$[EB/OL].(2025-05-22)[2025-06-08].https://arxiv.org/abs/2505.16628.点此复制
评论