Hierarchies of Provably Recursive Functions

&
Bulletin of Symbolic Logic 6 (4):466-467 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420970

Links

PhilArchive



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

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

Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 149.
Review: Samuel R. Buss, Handbook of Proof Theory: Hierarchies of Provably Recursive Functions. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.
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.
Induction Rules, Reflection Principles, and Provably Recursive Functions.Volker Halbach & Lev D. Beklemishev - 2002 - Bulletin of Symbolic Logic 8 (2):302.
Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 , pp. 193–242. [REVIEW]Volker Halbach - 2002 - Bulletin of Symbolic Logic 8 (2):302-303.
Syntactic translations and provably recursive functions.Daniel Leivant - 1985 - Journal of Symbolic Logic 50 (3):682-688.
Solomon Feferman. Classifications of recursive functions by means of hierarchies. Transactions of the American Mathematical Society, Bd. 104 , S. 101–122. [REVIEW]Rózsa Péter - 1965 - Journal of Symbolic Logic 30 (3):388-389.
Hierarchies of Primitive Recursive Functions.Charles Parsons - 1971 - Journal of Symbolic Logic 36 (3):538-539.
Mathematically Strong Subsystems of Analysis with Low Rate of Growth of Provably Recursive Functionals.Ulrich Kohlenbach - 2001 - Bulletin of Symbolic Logic 7 (2):280-281.
Classifications of Recursive Functions by Means of Hierarchies.Solomon Feferman - 1965 - Journal of Symbolic Logic 30 (3):388-389.

Analytics

Added to PP
2017-02-22

Downloads
1 (#1,722,932)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
Degrees of Relative Provability.Mingzhong Cai - 2012 - Notre Dame Journal of Formal Logic 53 (4):479-489.
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