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 language | English (US) |
---|---|
Pages (from-to) | 1-17 |
Number of pages | 17 |
Journal | Notre Dame Journal of Formal Logic |
Volume | 39 |
Issue number | 1 |
DOIs | |
State | Published - 1998 |
All Science Journal Classification (ASJC) codes
- Logic