The realm of primitive recursion

Archive for Mathematical Logic 27 (2):177-188 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01620765

Links

PhilArchive



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

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

On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Iteration of Primitive Recursion.Paul Axt - 1965 - Mathematical Logic Quarterly 11 (3):253-255.
Another simplification of the recursion scheme.N. Georgieva - 1977 - Archive for Mathematical Logic 18 (1):1-3.
Non-definability of the Ackermann function with type 1 partial primitive recursion.Karl-Heinz Niggl - 1997 - Archive for Mathematical Logic 37 (1):1-13.
The operator gap theorem in α-recursion theory.Robert A. Paola - 1978 - Archive for Mathematical Logic 19 (1):115-129.
On minimal pairs and minimal degrees in higher recursion theory.Wolfgang Maass - 1977 - Archive for Mathematical Logic 18 (1):169-186.
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory.Roger Hindley & Gerd Mitschke - 1977 - Archive for Mathematical Logic 18 (1):99-103.
Subrecursive hierarchies on Scott domains.Karl-Heinz Niggl - 1993 - Archive for Mathematical Logic 32 (4):239-257.
A classification of the one-argument primitive recursive functions.Jovan Naumović - 1983 - Archive for Mathematical Logic 23 (1):161-174.
König's lemma, the ω-Rule and primitive recursive arithmetic.E. G. K. López-Escobar - 1985 - Archive for Mathematical Logic 25 (1):67-74.

Analytics

Added to PP
2013-11-23

Downloads
40 (#387,963)

6 months
12 (#304,911)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.

View all 9 citations / Add more citations

References found in this work

Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Eine Klassifikation der ε 0 ‐Rekursiven Funktionen.Helmut Schwichtenberg - 1971 - Mathematical Logic Quarterly 17 (1):61-74.
Eine Klassifikation der ε0‐Rekursiven Funktionen.Helmut Schwichtenberg - 1971 - Mathematical Logic Quarterly 17 (1):61-74.
Recursion-Theoretic Hierarchies.Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.

Add more references