2000 character limit reached
Generalizations of the Recursion Theorem
Published 28 Mar 2018 in math.LO and cs.LO | (1803.10843v2)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.