Subsystems of set theory and second order number theory

In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 137--209 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420971

Links

PhilArchive



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

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.
On cut elimination for subsystems of second-order number theory.William Tait - manuscript
Tableau systems for first order number theory and certain higher order theories.Sue Ann Toledo - 1975 - New York: Springer Verlag.
The baire category theorem in weak subsystems of second-order arithmetic.Douglas K. Brown & Stephen G. Simpson - 1993 - Journal of Symbolic Logic 58 (2):557-578.
Fundamental notions of analysis in subsystems of second-order arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Formalizing forcing arguments in subsystems of second-order arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
Intensional first-order logic with types.Shalom Lappin - unknown
More undecidable lattices of Steinitz exchange systems.L. R. Galminas & John W. Rosenthal - 2002 - Journal of Symbolic Logic 67 (2):859-878.
Conservative theories of classical truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.
Consistent fragments of grundgesetze and the existence of non-logical objects.Kai F. Wehmeier - 1999 - Synthese 121 (3):309-328.
Mathematical aspects of the periodic law.Guillermo Restrepo & Leonardo Pachón - 2006 - Foundations of Chemistry 9 (2):189-214.
Interpreting classical theories in constructive ones.Jeremy Avigad - 2000 - Journal of Symbolic Logic 65 (4):1785-1812.
Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.

Analytics

Added to PP
2014-01-27

Downloads
37 (#399,294)

6 months
6 (#349,140)

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 - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. 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