某些Friedberg编号存在性定理中的博弈论证
逻辑
2020-03-23 v9
摘要
我们为针对所有部分可计算函数类的Friedberg编号的一些著名存在性定理提供了博弈论证明，包括(1)两个不可比较的Friedberg编号的存在性；(2)一列成对不可比较的Friedberg编号的一致c.e.序列的存在性；(3)一列Friedberg编号的一致c.e.独立序列的存在性。通过将这些证明参数化，我们得到了Kummer准则及其修正的博弈论证明。
引用
@article{arxiv.1508.04387,
title = {Game arguments in some existence theorems of Friedberg numberings},
author = {Takuma Imamura},
journal= {arXiv preprint arXiv:1508.04387},
year = {2020}
}