加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本