{"id":"arxiv/2603.13913","url":"https://arxiv.org/abs/2603.13913","tags":["math.LO"],"score":0,"title":"Axiom Beta Implies Elementary Transfinite Recursion","domain":"math.LO","source":"arxiv","authors":["Emanuele Frittaion","Giorgio G. Genovesi"],"reviews":0,"subject":"math.LO","summary":"We show that $\\mathbf{C}$, a weak theory of sets with Axiom Beta, proves the scheme of Elementary, or $Δ_0$ Transfinite Recursion and can generate, for every set, the corresponding relativized constructible hierarchy. We show that the theory $\\mathbf{C}$ corresponds to Simpson's system $\\mathbf{ATR}_0^\\text{set}$ without the Axiom of Countability. In fact, $\\mathbf{C}$ proves the totality of the Veblen function and of all primitive recursive set functions. In particular, this means our system $\\mathbf{C}$ is equivalent to $\\mathbf{PRS}ω+\\text{Axiom Beta}$. We also establish an upper bound,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-14","reactions":{}}