Subrecursion. Functions and Hierarchies

Journal of Symbolic Logic 52 (2):563-565 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274410

Links

PhilArchive



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

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

Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
Review: H. E. Rose, Subrecursion. Functions and Hierarchies. [REVIEW]H. Schwichtenberg - 1987 - Journal of Symbolic Logic 52 (2):563-565.
Rose H. E.. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York 1984, xiii + 191 pp. [REVIEW]H. Schwichtenberg - 1987 - Journal of Symbolic Logic 52 (2):563-565.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
How to characterize provably total functions by local predicativity.Andreas Weiermann - 1996 - Journal of Symbolic Logic 61 (1):52-69.
Down with the Hierarchies.Jacob Stegenga - 2014 - Topoi 33 (2):313-322.
On parallel hierarchies and Rki.Stephen Bloch - 1997 - Annals of Pure and Applied Logic 89 (2-3):231-273.
Subrecursive hierarchies on Scott domains.Karl-Heinz Niggl - 1993 - Archive for Mathematical Logic 32 (4):239-257.
Hierarchy.Paul H. Rubin - 2000 - Human Nature 11 (3):259-279.
Some Hierarchies of Primitive Recursive Functions on Term Algebras.Klaus-Hilmar Sprenger - 1997 - Mathematical Logic Quarterly 43 (2):251-286.
The Equivalence of Different Hierarchies of Elementary Functions.G. T. Herman - 1971 - Mathematical Logic Quarterly 17 (1):219-224.
A jump operator for subrecursion theories.A. J. Heaton - 1999 - Journal of Symbolic Logic 64 (2):460-468.
A Jump Operator For Subrecursion Theories.A. J. Heaton - 1999 - Journal of Symbolic Logic 64 (2):460-468.
Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 149.
Approximation methods in inductive inference.William R. Moser - 1998 - Annals of Pure and Applied Logic 93 (1-3):217-253.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,519,079)

6 months
3 (#992,575)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.

Add more citations

References found in this work

No references found.

Add more references