2018/04/04 by Sebastiaan A. Terwijn, Terwijn, Sebastiaan A.
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.1804.01522
openalex publication_date 2018/04/04 · openalex created_date 2022/10/05 · openalex updated_date 2026/07/28
We discuss the (non)effectivity of Arslanov's completeness criterion. In\nparticular, we show that a parameterized version, similar to the recursion\ntheorem with parameters, fails. We also discuss the parameterized version of\nanother extension of the recursion theorem, namely Visser's ADN theorem.\n