Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations
arXiv:1610.04643
Abstract
Work in progress concerning alternative formalizations of arithmetic.
arXiv commentThis work remains too incomplete to remain available and I would like to avoid future reference to it