{"id":"arxiv/2610.34548","url":"https://arxiv.org/abs/2610.34548","tags":["math.LO","cs.LO","cs.PL"],"score":0,"title":"Inductive Grounded Arithmetic: Goodstein, the Hydra, and $Γ_0$","domain":"math.LO","source":"arxiv","authors":["Bryan Ford"],"reviews":0,"subject":"math.LO","summary":"What does a recursive definition mean when the logic is grounded, so a sentence is true only if a terminating process makes it so? Kripke's answer for the special case of truth was the least fixed point. This paper takes that answer as a rule. Reflective Grounded Arithmetic (RGA) already writes any recursive definition as one self-referential term, paradoxes included. Inductive Grounded Arithmetic (IGA) adds the elimination rule for every positive one, so that accessibility, the winning positions of a game, and grounded truth itself each come with their own induction principle. The rule is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-25","reactions":{}}