Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.4288/jafpos1956.9.95
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: 51,232
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

Bounded Arithmetic and the Polynomial Hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52 (1-2):143-153.
Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Bounded Arithmetic for NC, ALogTIME, L and NL.P. Clote & G. Takeuti - 1992 - Annals of Pure and Applied Logic 56 (1-3):73-117.
Minimal Upper Bounds for Arithmetical Degrees.Masahiro Kumabe - 1994 - Journal of Symbolic Logic 59 (2):516-528.
A Slow Growing Analogue to Buchholz' Proof.Toshiyasu Arai - 1991 - Annals of Pure and Applied Logic 54 (2):101-120.

View all 41 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Is Logic in the Mind or in the World?Gila Sher - 2011 - Synthese 181 (2):353 - 365.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.
Intuitionistic Mathematics and Wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
From Bolzano’s Point of View.Jan Berg - 2000 - The Monist 83 (1):47-67.
The Foundational Problem of Logic.Gila Sher - 2013 - Bulletin of Symbolic Logic 19 (2):145-198.

Analytics

Added to PP index
2014-03-28

Total views
10 ( #803,230 of 2,330,051 )

Recent downloads (6 months)
4 ( #193,234 of 2,330,051 )

How can I increase my downloads?

Downloads

My notes