Article contents
Partial recursive functions and ω-functions1
Published online by Cambridge University Press: 12 March 2014
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
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1971
Footnotes
The authors were partially supported by NSF grant GP-8582.
References
- 5
- Cited by