Journal of Symbolic Logic 36 (3):494-508 (1971)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2269958 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 65,657
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- cambridge.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Philosophy of Mathematics.Paul Benacerraf & Hilary Putnam - 1985 - Philosophy of Science 52 (3):488-489.
Citations of this work BETA
On the Scheme of Induction for Bounded Arithmetic Formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (3):261-302.
The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.
Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Mathematically Strong Subsystems of Analysis with Low Rate of Growth of Provably Recursive Functionals.Ulrich Kohlenbach - 1996 - Archive for Mathematical Logic 36 (1):31-71.
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points.Noson S. Yanofsky - 2003 - Bulletin of Symbolic Logic 9 (3):362-386.
View all 70 citations / Add more citations
Similar books and articles
On the Derivability of Instantiation Properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
Classical Arithmetic as Part of Intuitionistic Arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
Models of Arithmetic and Upper Bounds for Arithmetic Sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
The Feasibility of Basic Socioeconomic Human Rights: A Conceptual Exploration.Pablo Gilabert - 2009 - Philosophical Quarterly 59 (237):659-681.
Analytics
Added to PP index
2009-01-28
Total views
78 ( #141,595 of 2,462,325 )
Recent downloads (6 months)
3 ( #223,344 of 2,462,325 )
2009-01-28
Total views
78 ( #141,595 of 2,462,325 )
Recent downloads (6 months)
3 ( #223,344 of 2,462,325 )
How can I increase my downloads?
Downloads
