Article contents
GENERALIZATIONS OF THE RECURSION THEOREM
Published online by Cambridge University Press: 21 December 2018
Abstract
We consider two generalizations of the recursion theorem, namely Visser’s ADN theorem and Arslanov’s completeness criterion, and we prove a joint generalization of these theorems.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2018
References
REFERENCES
- 7
- Cited by