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
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181218012322582-0433:S002248121800052X:S002248121800052X_inline1.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181218012322582-0433:S002248121800052X:S002248121800052X_inline2.gif?pub-status=live)
- 7
- Cited by