Hostname: page-component-7c8c6479df-hgkh8 Total loading time: 0 Render date: 2024-03-27T19:15:23.072Z Has data issue: false hasContentIssue false

Partial recursive functions and ω-functions1

Published online by Cambridge University Press:  12 March 2014

C. H. Applebaum
Affiliation:
Bowling Green State University, Bowling Green, Ohio
J. C. E. Dekker
Affiliation:
Rutgers University, New Brunswick, New Jersey

Extract

Let ε stand for the set of all numbers (i.e., nonnegative integers), V for the class of all sets (i.e., subcollections of ε) and for the family of all functions (i.e., mappings from a subset of ε into ε). If ƒ is a function, we write δƒ and ρƒ for its domain and range respectively. The relation of inclusion is denoted by ⊂ and that of proper inclusion by ⊆.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1971

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.)

Footnotes

1

The authors were partially supported by NSF grant GP-8582.

References

[1]Applebaum, C. H., Decompositions and homomorphisms of ω-groups, Doctoral thesis, Rutgers University, 1969.Google Scholar
[2]Dekker, J. C. E., Infinite series of isols, Proceedings of Symposia in Pure Mathematics, vol. 5 (1962), pp. 7796.CrossRefGoogle Scholar
[3]Dekker, J. C. E., Good choice sets, Annali della Scuola Normale Superiore di Pisa, Serie III, vol. 20 (1966), pp. 367393.Google Scholar
[4]Dekker, J. C. E. and Myhill, J., Recursive equivalence types, University of California Publications in Mathematics (N.S.), vol. 3 (1960), pp. 67213.Google Scholar
[5]Gonshor, H., The category of recursive functions, Notices of the American Mathematical Society, vol. 15 (1968), p. 473.Google Scholar