Generalizations of the Recursion Theorem
Logic
2019-02-20 v2 Logic in Computer Science
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.
Cite
@article{arxiv.1803.10843,
title = {Generalizations of the Recursion Theorem},
author = {Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:1803.10843},
year = {2019}
}