Predicative Logic and Formal Arithmetic

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
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,798
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

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.

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.
Added to PP index
2010-08-24

Total downloads
14 ( #345,008 of 2,202,679 )

Recent downloads (6 months)
1 ( #301,061 of 2,202,679 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature