Predicative Logic and Formal Arithmetic
John P. Burgess, Allen Hazen · Notre Dame Journal of Formal Logic · 1998
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.