Partial recursive functions and ω-functions
- 1 December 1970
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 35 (4) , 559-568
- https://doi.org/10.2307/2271442
Abstract
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 ⊆.Keywords
This publication has 2 references indexed in Scilit:
- Recursive Equivalence Types. By J C. E. Dekker and J. Myhill. 1960. University of California Publications in Mathematics. N.S. Vol. 3 No. 3, pp. 67–214).The Mathematical Gazette, 1962
- Infinite series of isolsProceedings of Symposia in Pure Mathematics, 1962