{"id":"arxiv/2610.20115","url":"https://arxiv.org/abs/2610.20115","tags":["math.LO"],"score":0,"title":"A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering","domain":"math.LO","source":"arxiv","authors":["Fedor Pakhomov","Vlad Lazar"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-14","reactions":{}}