13 citations · 50 across the 19 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations
David M. Cerna
Work in progress concerning alternative formalizations of arithmetic.
math.LO2016★ 1 cited
Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]
David Cerna, Alexander Leitsch
In previous work, an attempt was made to apply the schematic CERES method [8] to a formal proof with an arbitrary number of Π 2 cuts (a recursive proof encapsulating the infinitary…