Generalizations of the Recursion Theorem.

JOURNAL OF SYMBOLIC LOGIC(2018)

引用 7|浏览11
暂无评分
摘要
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.
更多
查看译文
关键词
recursion theorem,ADN theorem,Arslanov completeness criterion
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要