Subsystems of set theory and second order number theory

In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 137--209 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420971

Other Versions

reprint Pohlers, Wolfram (2000) "Subsystems of Set Theory and Second-Order Number Theory". Bulletin of Symbolic Logic 6(4):467-469

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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

Review: Samuel R. Buss, Handbook of Proof Theory: Subsystems of Set Theory and Second-Order Number Theory. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.
Wolfram Pohlers. Subsystems of set theory and second-order number theory. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 209–335. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):467-469.
Wolfram Pohlers—Life and Work.Justus Diller - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 1-6.
Review: Wolfram Pohlers, Proof Theory. An Introduction. [REVIEW]Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (1):358-359.
Review: Wolfram Pohlers, Pure Proof Theory. Aims, Methods and Results. [REVIEW]G. Mints - 1998 - Journal of Symbolic Logic 63 (3):1185-1185.
Ways of Proof Theory.Ralf Schindler (ed.) - 2010 - De Gruyter.
Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I. [REVIEW]Michael Rathjen - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 363-440.
Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 , pp. 159–188.G. Mints - 1998 - Journal of Symbolic Logic 63 (3):1185.
Gaisi Takeuti. Proof theory. Studies in logic and the foundations of mathematics, vol. 81. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, vii + 372 pp. - Gaisi Takeuti. Proof theory. Second edition of the preceding. Studies in logic and the foundations of mathematics, vol. 81. North-Holland, Amsterdam etc. 1987, x + 490 pp. - Georg Kreisel. Proof theory: some personal recollections. Therein, pp. 395–405. - Wolfram Pohlers. Contributions of the Schütte school in Munich to proof theory. Therein, pp. 406–431. - Stephen G. Simpson. Subsystems of Z2 and reverse mathematics. Therein, pp. 432–446. - Soloman Feferman. Proof theory: a personal report. Therein, pp. 447–485. [REVIEW]Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094.

Analytics

Added to PP
2014-01-27

Downloads
63 (#336,037)

6 months
10 (#399,629)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wolfram Pohlers
University of Muenster

Citations of this work

Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Provability algebras and proof-theoretic ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Hilbert's program then and now.Richard Zach - 2002 - In Dale Jacquette (ed.), Philosophy of Logic. Malden, Mass.: North Holland. pp. 411–447.
Proof theory for theories of ordinals—I: recursively Mahlo ordinals.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 122 (1-3):1-85.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references