Bounds extracted by Kreisel from ineffective proofs

In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 289--300 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Herbrand-analysen zweier beweise Des satzes Von Roth: Polynomiale anzahlschranken.H. Luckhardt - 1989 - Journal of Symbolic Logic 54 (1):234-263.
Effective Bounds from ineffective proofs in analysis: An application of functional interpretation and majorization.Ulrich Kohlenbach - 1992 - Journal of Symbolic Logic 57 (4):1239-1273.
Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Herbrand analysis of 2 proofs of the Roth theorem-polynomial Bounds.H. Luckhardt - 1989 - Journal of Symbolic Logic 54 (1):234-263.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Sharpened lower bounds for cut elimination.Samuel R. Buss - 2012 - Journal of Symbolic Logic 77 (2):656-668.
A remark on free choice sequences and the topological completeness proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (4):369-388.
Review: G. Kreisel, Hao Wang, Some Applications of Formalized Consistency Proofs. [REVIEW]G. Hasenjaeger - 1956 - Journal of Symbolic Logic 21 (4):404-405.
Review: G. Kreisel, Mathematical Significance of Consistency Proofs. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):129-129.

Analytics

Added to PP
2014-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references