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
Fingerprint
Dive into the research topics of 'Predicative logic and formal arithmetic'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver