Cuts, consistency statements and interpretations

Journal of Symbolic Logic 50 (2):423-441 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274231

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

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

Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 , pp. 69–84. [REVIEW]William M. Farmer - 1989 - Journal of Symbolic Logic 54 (3):1107-1108.
Petr Hájek and Pavel Pudlák. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp. [REVIEW]Richard Kaye - 1995 - Journal of Symbolic Logic 60 (4):1317-1320.
Pavel Pudlák. The lengths of proofs. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 547–637. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):473-475.
Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 449–464. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
L. Beklemishev. Another pathological well-ordering. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 105–108. [REVIEW]G. Mints - 2001 - Bulletin of Symbolic Logic 7 (4):534-534.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Jervel - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
Michael Rathjen. The superjump in Martin-Löf type theory. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386. [REVIEW]Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
Jan Krajíček, Pavel Pudlák, and Gaisi Takeuti. Bounded arithmetic and the polynomial hierarchy. Ibid., vol. 52 , pp. 143–153. - Samuel R. Buss. Relating the bounded arithmetic and polynomial time hierarchies. Ibid., vol. 75 , pp. 67–77. - Domenico Zambella. Notes on polynomially bounded arithmetic. The journal of symbolic logic, vol. 61 , pp. 942–966. [REVIEW]Stephen Cook - 1999 - Journal of Symbolic Logic 64 (4):1821-1823.
Pseudo-complements and ordinal logics based on consistency statements.Robert A. Di Paola - 1966 - Journal of Symbolic Logic 31 (3):359-364.
On deciding the truth of certain statements involving the notion of consistency.George Boolos - 1976 - Journal of Symbolic Logic 41 (4):779-781.

Analytics

Added to PP
2009-01-28

Downloads
78 (#277,905)

6 months
16 (#159,027)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Consistency and the theory of truth.Richard Heck - 2015 - Review of Symbolic Logic 8 (3):424-466.

View all 56 citations / Add more citations

References found in this work

Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.
On certain lattices of degrees of interpretability.Per Lindström - 1984 - Notre Dame Journal of Formal Logic 25 (2):127-140.
Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Mathematical Logic.Mariko Yasugi - 1967 - Journal of Symbolic Logic 35 (3):438-440.

Add more references