Arslanov 完全性判据及相关定理的非有效性
逻辑
2018-04-05 v1
摘要
我们讨论 Arslanov 完全性判据的（非）有效性。特别地，我们证明一个类似于带参数递归定理的参数化版本是失败的。我们也讨论递归定理另一推广即 Visser 的 ADN 定理的参数化版本。
引用
@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}
}