从非标准分析到各种类型的可计算性理论
逻辑
2017-01-19 v2
摘要
正如标题所示，最近已明确非标准分析（NSA）的定理可以导出可计算性理论中的定理（不再涉及 NSA）。现在，上述学科分为经典可计算性理论和高阶可计算性理论，其中前者（后者）子学科处理零型和一型（所有类型）的对象。上述关于 NSA 的结果仅处理高阶情形；我们在本文中通过考虑所谓的教科书证明，表明 NSA 的定理也能导出经典可计算性理论中的定理。
引用
@article{arxiv.1609.01919,
title = {From Nonstandard Analysis to various flavours of Computability Theory},
author = {Sam Sanders},
journal= {arXiv preprint arXiv:1609.01919},
year = {2017}
}
备注
To appear in the proceedings of TAMC2017 (http://tamc2017.unibe.ch/)