一个具有投影决定性片段与DC失效的模型
逻辑
2025-05-23 v1
摘要
我们描述了一个二阶算术模型的构造，其中（粗体）Π^1_n决定性成立，但（细体）Π^1_{n+2}-DC失效，从而表明没有任何投影决定性层级能蕴含完全的DC_ℝ。该构造建立在Gitman、Friedman和Kanovei的工作之上。
引用
@article{arxiv.2505.16628,
title = {A model with fragments of projective determinacy and failures of $\mathsf{DC}$},
author = {Sandra Müller and Bartosz Wcisło},
journal= {arXiv preprint arXiv:2505.16628},
year = {2025}
}
备注
17 pages