Proof theory and set theory

Synthese 62 (2):255 - 263 (1985)
  Copy   BIBTEX

Abstract

The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical approach to proof theory

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

What is required of a foundation for mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Introduction to axiomatic set theory.Gaisi Takeuti - 1971 - New York,: Springer Verlag. Edited by Wilson M. Zaring.

Analytics

Added to PP
2009-01-28

Downloads
104 (#162,307)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
Logically possible machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references