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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,429

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

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.
Conservative Theories of Classical Truth.Volker Halbach - 1999 - Studia Logica 62 (3):353-370.
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
26 (#443,318)

6 months
2 (#276,905)

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