Hierarchies of Provably Recursive Functions

In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 149 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420970

Other Versions

edition Fairtlough, Matt; Wainer, Stanley S. (2000) "Hierarchies of Provably Recursive Functions". Bulletin of Symbolic Logic 6(4):466-467

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,297

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

Matt Fairtlough and Stanley S. Wainer. Hierarchies of provably recursive functions. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 149–207. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.
Program Transformation and Proof Transformation.Wilfried Sieg & Stanley S. Wainer - unknown
Provably total functions of Basic Arithemtic.Saeed Salehi - 2003 - Mathematical Logic Quarterly 49 (3):316.
Finitary Treatment of Operator Controlled Derivations.Wilfried Buchholz - 2001 - Mathematical Logic Quarterly 47 (3):363-396.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
A slow growing analogue to buchholz' proof.Toshiyasu Arai - 1991 - Annals of Pure and Applied Logic 54 (2):101-120.
Decidable Formulas Of Intuitionistic Primitive Recursive Arithmetic.Saeed Salehi - 2002 - Reports on Mathematical Logic 36 (1):55-61.

Analytics

Added to PP
2014-01-27

Downloads
40 (#439,305)

6 months
7 (#958,859)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Causality, Modality, and Explanation.Graham White - 2008 - Notre Dame Journal of Formal Logic 49 (3):313-343.

Add more citations

References found in this work

No references found.

Add more references