Some Reminiscences of Kreisel

In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 89 (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

Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Kreisel's unwinding of Artin's proof.Charles Delzell - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 113--246.
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 247--273.
Bounds extracted by Kreisel from ineffective proofs.Horst Luckhardt - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 289--300.
Kreisel, Generalized Recursion Theory, Stanford and Me.Richard A. Platek - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 97.
Kreisel, Generalized.Gerald E. Sacks - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 103.
An Appreciation of Kreisel.Anil Nerode - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 81.
Review: Georg Kreisel, William W. Tait, Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi. [REVIEW]Rohit Parikh - 1967 - Journal of Symbolic Logic 32 (2):270-271.
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.
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.
Georg Kreisel: a Few Personal Recollections.Francis Crick - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 25.
Theories Very Close to PA Where Kreisel's Conjecture Is False.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (1):123 - 137.
Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
Alan Hodgkin. Chance and Design: Reminiscences of Science in Peace and War.Jon Agar - unknown

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?

Author's Profile

Rohit Parikh
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references