A model with fragments of projective determinacy and failures of $\mathsf{DC}$
Logic
2025-05-23 v1
Abstract
We describe a construction of a model of second order arithmetic in which (boldface) -determinacy holds, but (lightface) - fails, thus showing that no projective level of determinacy implies full . The construction builds upon the work of Gitman, Friedman, and Kanovei.
Keywords
Cite
@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}
}
Comments
17 pages