The $\delta$-calculus: from distinction to arithmetic

Jonathan Washburn, Milan Zlatanović

Let $\delta$ denote the primitive act of distinction, formally realized as the one-step extension $r\mapsto Sr$ of a finite record. We prove that the $\delta$-orbit is initial among $\delta$-alge…