The noneffectivity of Arslanov's completeness criterion and related theorems
Logic
2018-04-05 v1
Abstract
We discuss the (non)effectivity of Arslanov's completeness criterion. In particular, we show that a parameterized version, similar to the recursion theorem with parameters, fails. We also discuss the parameterized version of another extension of the recursion theorem, namely Visser's ADN theorem.
Keywords
Cite
@article{arxiv.1804.01522,
title = {The noneffectivity of Arslanov's completeness criterion and related theorems},
author = {Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:1804.01522},
year = {2018}
}