Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations

2016/10/13 by Cerna, David M.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1610.04643

Abstract

Work in progress concerning alternative formalizations of arithmetic.

Related

• Proofs that Modify Proofs
• Defining arithmetical operations on infinite decimals
• The arithmetic of trees
• The Prehistory of the Subsystems of Second-Order Arithmetic
• Higher arithmetic on the ordinals