Authors
John Burgess
Princeton University
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039293018
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,577
Through your library

References found in this work BETA

Systems of Predicative Analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
On the Consistency of the First-Order Portion of Frege's Logical System.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.
Predicative Foundations of Arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.
A Relative Consistency Proof.Joseph R. Shoenfield - 1954 - Journal of Symbolic Logic 19 (1):21-28.
Grundgesetze der Arithmetik I §§29‒32.Richard G. Heck - 1997 - Notre Dame Journal of Formal Logic 38 (3):437-474.

View all 11 references / Add more references

Citations of this work BETA

Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
Interpretability in Robinson's Q.Fernando Ferreira & Gilda Ferreira - 2013 - Bulletin of Symbolic Logic 19 (3):289-317.
Type Theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.
Russell's 1925 Logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.

View all 8 citations / Add more citations

Similar books and articles

Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
Ramified Frege Arithmetic.Richard Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
Predicative Fragments of Frege Arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Predicative Arithmetic.Edward Nelson - 1986 - Princeton University Press.
Predicative Foundations of Arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.
Some Remarks on Geach's Predicative and Attributive Adjectives.John Donnelly - 1971 - Notre Dame Journal of Formal Logic 12 (1):125-128.
On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
Arithmetic as a Study of Formal Systems.Jonathan P. Seldin - 1975 - Notre Dame Journal of Formal Logic 16 (4):449-464.

Analytics

Added to PP index
2010-08-24

Total views
32 ( #338,171 of 2,446,658 )

Recent downloads (6 months)
1 ( #456,908 of 2,446,658 )

How can I increase my downloads?

Downloads

My notes