Foundations for analysis and proof theory

Synthese 60 (2):159 - 200 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00485460

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Mathematical analysis and proof.David S. G. Stirling - 2009 - Chichester, UK: Horwood.
Mathematical Proof and Experimental Proof.Arthur H. Copeland - 1966 - Philosophy of Science 33 (4):303-.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008.Solomon Feferman - unknown
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Proof Theory.Wilfried Sieg - unknown

Analytics

Added to PP
2009-01-28

Downloads
62 (#254,324)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.

View all 7 citations / Add more citations

References found in this work

Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.
From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.

View all 19 references / Add more references