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)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Unary primitive recursive functions.Daniel E. Severin - 2008 - Journal of Symbolic Logic 73 (4):1122-1138.
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Monotone majorizable functionals.Helmut Schwichtenberg - 1999 - Studia Logica 62 (2):283-289.
A theory of rules for enumerated classes of functions.Andreas Schlüter - 1995 - Archive for Mathematical Logic 34 (1):47-63.
Primitive Recursion and the Chain Antichain Principle.Alexander P. Kreuzer - 2012 - Notre Dame Journal of Formal Logic 53 (2):245-265.
Iteration of Primitive Recursion.Paul Axt - 1965 - Mathematical Logic Quarterly 11 (3):253-255.
Tiering as a recursion technique.Harold Simmons - 2005 - Bulletin of Symbolic Logic 11 (3):321-350.
Review: Paul Axt, Iteration of Primitive Recursion. [REVIEW]R. M. Baer - 1970 - Journal of Symbolic Logic 35 (3):479-479.
A note on Turing machine regularity and primitive recursion.Nicholas J. De Lillo - 1978 - Notre Dame Journal of Formal Logic 19 (2):289-294.

Analytics

Added to PP
2013-11-23

Downloads
31 (#459,890)

6 months
4 (#404,301)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Recursion-Theoretic Hierarchies.Wayne Richter - 1983 - Journal of Symbolic Logic 48 (2):497-498.
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.

Add more references