Fragments of Arithmetic

Journal of Symbolic Logic 52 (4):1054-1055 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273844

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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: Wilfried Sieg, Fragments of Arithmetic. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
Overspill and fragments of arithmetic.C. Dimitracopoulos - 1989 - Archive for Mathematical Logic 28 (3):173-179.
The Pigeonhole Principle and Fragments of Arithmetic.C. Dimitracopoulos & J. Paris - 1986 - Mathematical Logic Quarterly 32 (1-5):73-80.
Iterated trees and fragments of arithmetic.Yue Yang - 1995 - Archive for Mathematical Logic 34 (2):97-112.
Diophantine equations in fragments of arithmetic.Ulf R. Schmerl - 1988 - Annals of Pure and Applied Logic 38 (2):135-170.
Wilfried Sieg. Fragments of arithmetic. Annals of pure and applied logic, vol. 28 , pp. 33–71.Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (4):1054-1055.
Polynomially and superexponentially shorter proofs in fragments of arithmetic.Franco Montagna - 1992 - Journal of Symbolic Logic 57 (3):844-863.
On cofinal extensions of models of fragments of arithmetic.Richard Kaye - 1991 - Notre Dame Journal of Formal Logic 32 (3):399-408.
Fragments of Arithmetic and true sentences.Andrés Cordón-Franco, Alejandro Fernández-Margarit & F. Félix Lara-Martín - 2005 - Mathematical Logic Quarterly 51 (3):313-328.

Analytics

Added to PP
2017-02-21

Downloads
14 (#994,650)

6 months
2 (#1,448,208)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.
Formalizing forcing arguments in subsystems of second-order arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
Predicative foundations of arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references