Predicative logic and formal arithmetic

John P. Burgess, A. P. Hazen

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

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.

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

All Science Journal Classification (ASJC) codes

  • Logic

Fingerprint

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

Cite this