{"id":"arxiv/2608.22822","url":"https://arxiv.org/abs/2608.22822","tags":["math.LO"],"score":0,"title":"Frame definability in second-order arithmetic","domain":"math.LO","source":"arxiv","authors":["Yuto Takeda"],"reviews":0,"subject":"math.LO","summary":"We study the reverse-mathematical strength of frame definability in modal logic. The central principle is the Valuation Extension Lemma (VEL), which asserts that every assignment of propositional variables on a frame extends to a full valuation. We show that, over $\\mathrm{RCA}_0$, VEL is equivalent to $\\mathrm{ACA}^{+}_0$, and as are frame-definability principles for Geach axioms and for $\\mathbf{GL}$. We also obtain analogous $\\mathrm{ACA}^{+}_0$-equivalences for the Barcan and Converse Barcan formulas in modal predicate logic. Finally, we examine variants of VEL for $\\mathbf{CTL}$ and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}