The $δ$-calculus: from distinction to arithmetic
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.29349
curl -X POST /api/v1/records/arxiv/2607.29349/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.29349/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'