在算术超限递归上的搜索问题
摘要：关于mathsf{ATR}_2和mathsf{C}_{omega^omega}之间的一些Weihrauch问题的研究 Cantor空间上的单调算子的不动点定理（Knaster-Tarski定理的一个较弱版本）不能被Weihrauch归约为mathsf{ATR}_2 引入了mathsf{ATR}_2^{rfn}，是mathsf{ATR}的ω-模型反射 mathsf{ATR}_2^{rfn}是一个上界，可证明一些形如forall X( heta(X) o exists Y eta(X, Y ))的 axiomatic系统mathrm{ATR}_0中的问题，其中 heta, eta是算术公式 还证明了Cantor空间上单调算子的相对最小不动点定理的Weihrauch度构成了mathsf{ATR}^{rfn} 和mathsf{C}_{omega^omega}之间的线性层次结构
作者：Yudai Suzuki and Keita Yokoyama
论文ID：2305.07321
分类：Logic
分类简称：math.LO
提交时间：2023-08-11