Generalizations of the Recursion Theorem

Por • 18 abr, 2018 • Sección: Leyes

Sebastiaan A. Terwijn

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.

arXiv:1803.10843v1 [math.LO]

Logic (math.LO)

Post to Twitter

Escribe un comentario