collaborators

1 paper

math.LO2025

Unravelling Cyclic First-Order Arithmetic

Graham E. Leigh, Dominik Wehr

Cyclic proof systems for Heyting and Peano arithmetic eschew induction axioms by accepting proofs which are finite graphs rather than trees. Proving that such a cyclic proof system…