Set-theoretic inevitability
After defining the concept of inevitability for statements with the modal logic of forcing, we raise the question of which statements are inevitable under $\mathsf{ZFC}$ and under large cardinal hypotheses. We show that $\mathsf{SOA}$ (defined as $\mathsf{ZFC}^-$ + $\mathsf V=\mathsf{HC}$) plus the $\boldsymbolΣ^1_2$-perfect set property is $\mathsf{ZFC}$-inevitable, and that Projective Determinacy is inevitable in the theory of $\mathsf{ZFC}$ with a proper class of Woodin cardinals. We then discuss the possible conceptual significance of these results for the foundations of set theory.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.31040
curl -X POST /api/v1/records/arxiv/2610.31040/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.31040/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'