{"id":"arxiv/2611.00176","url":"https://arxiv.org/abs/2611.00176","tags":["math.LO","cs.LO","cs.PL"],"score":0,"title":"Coinduction in Grounded Arithmetic","domain":"math.LO","source":"arxiv","authors":["Bryan Ford"],"reviews":0,"subject":"math.LO","summary":"A grounded arithmetic counts a sentence as true only when a terminating process establishes it; a sentence no such process settles has no value. Such a logic can state that an event happens, but not that it never happens under unbounded choice. This paper extends such a logic so that it can. The base is Reflective Grounded Arithmetic (RGA) with Inductive Grounded Arithmetic (IGA)'s least-fixed-point reading and ground induction. It adds a separate greatest-fixed-point former $ν$ with Park's coinduction rule, proves that one former cannot carry both ground induction and coinduction, and adds…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-30","reactions":{}}