Predicative logic and formal arithmetic

John P. Burgess, A. P. Hazen

Research output: Contribution to journalArticlepeer-review

11 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)1-17
Number of pages17
JournalNotre Dame Journal of Formal Logic
Issue number1
StatePublished - 1998

All Science Journal Classification (ASJC) codes

  • Logic


Dive into the research topics of 'Predicative logic and formal arithmetic'. Together they form a unique fingerprint.

Cite this