{"id":"arxiv/2607.29349","url":"https://arxiv.org/abs/2607.29349","tags":["math.LO"],"score":0,"title":"The $δ$-calculus: from distinction to arithmetic","domain":"math.LO","source":"arxiv","authors":["Jonathan Washburn","Milan Zlatanović"],"reviews":0,"subject":"math.LO","summary":"Let $δ$ denote the primitive act of distinction, formally realized as the one-step extension $r\\mapsto Sr$ of a finite record. We prove that the $δ$-orbit is initial among $δ$-algebras: every $δ$-algebra admits a unique structure-preserving map from the orbit. The map is injective when the successor operation is injective and the base point is not a successor. If the $δ$-algebra also satisfies induction for all predicates, the map is bijective and gives the unique isomorphism with the generated $δ$-orbit. The $δ$-calculus is an intuitionistic first-order proof system over the signature…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}