Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations
Logic
2018-01-04 v2
Abstract
Work in progress concerning alternative formalizations of arithmetic.
Cite
@article{arxiv.1610.04643,
title = {Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations},
author = {David M. Cerna},
journal= {arXiv preprint arXiv:1610.04643},
year = {2018}
}
Comments
This work remains too incomplete to remain available and I would like to avoid future reference to it