关于递归序数记号的唯一性问题
逻辑
2017-03-17 v3
摘要
在文章《Ordinal Logics and the Characterizations of the Informal Concept of Proof》中，Georg Kreisel提出了为递归序数分配唯一记号的问题，并进一步建议解决该问题的方法在性质上将是非构造性的。本文中我们发展了可获得递归序数记号各种唯一性结果的方法，此后应用这些结果研究围绕可计算函数层次分类的相关问题。
引用
@article{arxiv.1702.05162,
title = {On the Uniqueness Problem for Notations of Recursive Ordinals},
author = {Matthew Timothy Wright},
journal= {arXiv preprint arXiv:1702.05162},
year = {2017}
}
备注
18 pages. This updated draft contains a numerous corrections to a previous version uploaded on 2/11/2017