递归定理的若干推广
逻辑
2019-02-20 v2 计算机科学中的逻辑
摘要
我们考虑递归定理的两个推广，即 Visser 的 ADN 定理与 Arslanov 的完备性判据，并证明这两个定理的一个联合推广。
引用
@article{arxiv.1803.10843,
title = {Generalizations of the Recursion Theorem},
author = {Sebastiaan A. Terwijn},
journal= {arXiv preprint arXiv:1803.10843},
year = {2019}
}