A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering
We introduce a novel extension of reflection calculus, $\mathsf{RC_{BI}}$, to analyze a family of extensions of $\mathsf{ACA}_0$ generated by uniform $ω$-model and syntactic reflection principles, together with several other related operators. The union of these theories coincides with the theory of Bar Induction ($\mathsf{BI}$). We prove that $\mathsf{RC_{BI}}$ is arithmetically sound, and that it is sound and complete with respect to a natural class of Kripke models. Leveraging these modal semantics, we demonstrate that the class of theories denoted by $\nabla$-free closed formulas is a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.20115
curl -X POST /api/v1/records/arxiv/2610.20115/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.20115/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'