Hostname: page-component-848d4c4894-m9kch Total loading time: 0 Render date: 2024-05-01T13:29:53.257Z Has data issue: false hasContentIssue false
  • English
  • Français

A reduction of the recursion scheme

Published online by Cambridge University Press:  12 March 2014

M. D. Gladstone
M. D. Gladstone*
Affiliation:
University of Bristol, England
Get access Rights & Permissions [Opens in a new window]

Extract

The class of primitive recursive functions may be defined as the closure of certain initial functions, namely the zero, successor and identity functions, under two schemes, namely composition (sometimes called “substitution”) and recursion. For a detailed definition the reader is referred to any standard work, for instance p. 219 of [2], by Kleene.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 32 , Issue 4 , February 1968 , pp. 505 - 508
Copyright
Copyright © Association for Symbolic Logic 1968

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Goodstein, R. L., Recursive number theory, North-Holland, Amsterdam, 1964.Google Scholar
[2]Kleene, S. C., Introduction to metamathematics, North-Holland, Amsterdam, 1959.Google Scholar
[3]Robinson, R. M., Primitive recursive functions. Bulletin of the American Mathematical Society, vol. 53 (1947), pp. 925–942.CrossRefGoogle Scholar