预完全编号的不动点定理
逻辑
2018-10-23 v2 计算机科学中的逻辑
摘要
在 Ershov 的编号理论背景下，Ershov 证明了 Kleene 递归定理对任意预完全编号成立。我们讨论该结果的多种推广。其中，我们证明 Arslanov 完全性判据也对每个预完全编号成立，并讨论其与 Visser 的 ADN 定理的关系，以及各类不动点定理的一致或非一致性质。最后，我们将编号建立在偏组合代数之上，并在该背景下证明 Ershov 定理的一个推广。
引用
@article{arxiv.1809.06233,
title = {Fixed point theorems for precomplete numberings},
author = {H. P. Barendregt and S. A. Terwijn},
journal= {arXiv preprint arXiv:1809.06233},
year = {2018}
}