Dependent choice and iterated beta_n-model reflection
In this paper, we consider conservation results for iterated $β_n$-model reflection principles. Using these principles, we characterize the $Π^1_{m+2}$-, $Σ^1_{m+2}$- and $\mathsf{B}(Π^1_{m+2})$-consequences of $Σ^1_{n+1}$-$\mathsf{DC}_0$ and $Σ^1_{n+1}$-$\mathsf{TDC}_0$ for $m \leq n$. Here, $\mathsf{B}(Π^1_{m+2})$ denotes the set of Boolean combinations of $Π^1_{m+2}$-formulas, and $\mathsf{TDC}$ stands for transfinite $\mathsf{DC}$. We also show that, in each case, the stronger theory has a super-exponential speed-up over the corresponding conservative subtheory.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.36982
curl -X POST /api/v1/records/arxiv/2610.36982/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.36982/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'