{"id":"arxiv/2610.39746","url":"https://arxiv.org/abs/2610.39746","tags":["cs.LO","math.LO"],"score":0,"title":"Step Recursion: Rational Strides and Exact Inclusion Orders over the Reals","domain":"cs.LO","source":"arxiv","authors":["Kirill Osipov"],"reviews":0,"subject":"cs.LO","summary":"We study finite-terminating, address-only step recursion on the nonnegative reals, from zero, unit successor and projections. For reduced positive rational strides $s=a/q$ and $t=b/v$, we prove $\\mathcal{C}s\\subseteq\\mathcal{C}t$ if and only if $q$ divides $v$, for both the bounded and unbounded algebras $\\mathcal{C}\\in{\\mathcal{B},\\mathcal{U}}$. The bounded compiler preserves earlier global majorants on every auxiliary input. Mixed rational stride sets are classified by least common denominators and supernatural denominators. Primitive-recursive translated-coordinate grid codes characterize…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}