On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
Assuming the consistency of $\mathsf{ZFC}$, we construct a model of set theory in which the boldface $\mathbfΣ^1_3$-uniformization property holds, yet the lightface $Σ^1_4$-uniformization property fails, separating these two principles for the first time. We also indicate how to create a universe where $Σ^1_3$-uniformization holds, but $Σ^1_4$-uniformization fails using inner models with large cardinals.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.19360
curl -X POST /api/v1/records/arxiv/2604.19360/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.19360/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'