{"id":"arxiv/2610.39774","url":"https://arxiv.org/abs/2610.39774","tags":["cs.LO","math.LO"],"score":0,"title":"Step Recursion: Exact Membership Spectra, Mixed Strides, and Collapse","domain":"cs.LO","source":"arxiv","authors":["Kirill Osipov"],"reviews":0,"subject":"cs.LO","summary":"For a strictly increasing $G:\\mathbb{N}\\to\\mathbb{N}$ with $G(0)\\geq 1$, we study minimal-basis function algebras generated by recursion along generalized inverses of its iterates. Bounded recursion requires an earlier pointwise majorant; unbounded recursion has no such requirement. If the orbit $G^{[t]}(0)$ has no polynomial upper bound, we obtain exact fixed-function membership spectra, reverse-divisibility inclusion, and indexed intersections that need not be single-stride algebras. Every finite divisibility-downset is realized in both regimes, and mixed strides admit fixed functions…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}