摘要：对于超算术度上的所有倒退函数，我们通过展示Martin猜想的一个版本来回答Slaman和Steel的问题。我们证明中的关键步骤是展示我们总是可以简化为一个连续函数的情况。
作者：Patrick Lutz
论文ID：2306.05746
分类：Logic
分类简称：math.LO
提交时间：2023-06-12
PDF 下载： 英文版 中文版pdf翻译中