Abstract
After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell's Principia Mathematica with the axiom of infinity but without the axiom of reducibility.
Citation
John P. Burgess. A. P. Hazen. "Predicative Logic and Formal Arithmetic." Notre Dame J. Formal Logic 39 (1) 1 - 17, Winter 1998. https://doi.org/10.1305/ndjfl/1039293018
Information