{"id":"arxiv/2603.26040","url":"https://arxiv.org/abs/2603.26040","tags":["cs.LO","math.LO"],"score":0,"title":"Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics","domain":"cs.LO","source":"arxiv","authors":["Giorgi Japaridze"],"reviews":0,"subject":"cs.LO","summary":"Computability logic (CoL) provides a semantic foundation in which formulas represent interactive computational problems and validity corresponds to uniform algorithmic solvability. Building on this foundation, clarithmetics -- CoL-based axiomatic number theories -- combine the full arithmetical strength of Peano arithmetic (PA) with explicit control over computational resources. In contrast to traditional bounded arithmetic and related complexity-oriented systems, they strengthen rather than weaken PA. This paper, after briefly surveying the relevant fragment of CoL, presents the systems…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-27","reactions":{}}