{"id":"arxiv/2609.12740","url":"https://arxiv.org/abs/2609.12740","tags":["math.LO"],"score":0,"title":"Finite-tower bounds for Skolem functions","domain":"math.LO","source":"arxiv","authors":["Andreas Weiermann"],"reviews":0,"subject":"math.LO","summary":"We bound the eventual order types of Skolem functions below finite exponential towers. Writing $E_0(u)=u$, $E_{n+1}(u)=2^{E_n(u)}$, and $ω_0=1$, $ω_{k+1}=ω^{ω_k}$, the argument gives \\[ |\\Sk_{<E_n(x^m)}|<ω_{r_n},\\qquad r_n=2+\\frac{n(n+3)}2\\quad(n\\ge1,\\ m\\ge2\\text{ fixed}). \\] For triple towers we obtain the sharper bound $|\\Sk_{<E_3(x^m)}|<ω_{10}$ for every fixed $m\\ge1$. The proof combines comparisons of asymptotic expansions with finite recursive decompositions and ordinal estimates for ordered sums and products. The analytic part is developed in the classical field of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}