|国家预印本平台
首页|A model with fragments of projective determinacy and failures of $\mathsf{DC}$

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

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

来源:Arxiv_logoArxiv
英文摘要

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.点此复制

评论