2000 character limit reached
Generalizations of the Recursion Theorem (1803.10843v2)
Published 28 Mar 2018 in math.LO and cs.LO
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.