Selection in abstract recursion theory
- 12 March 1976
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 41 (1) , 153-158
- https://doi.org/10.2307/2272954
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Post's Problem for Admissible SetsPublished by Elsevier ,1974
- Structural Characterizations of Classes of RelationsPublished by Elsevier ,1974
- Inductive definitions and computabilityTransactions of the American Mathematical Society, 1971
- A hierarchy based on a type two objectTransactions of the American Mathematical Society, 1968
- Hyperanalytic predicatesTransactions of the American Mathematical Society, 1967