可解复杂性指数的基础分析
Foundational Analysis Of The Solvability Complexity Index
Christopher Sorg
AI 速读 基于摘要
本文对可解复杂性指数(SCI)这一外延性极限高度形式化框架进行基础分析,并给出其与Weihrauch理论极限秩之间的一个具体桥梁结果。
math.LO · cs.LO · math.SP
查看原文摘要
The Solvability Complexity Index (SCI) provides an extensional limit-height formalism for recovering a target map $Ξ$ from finite samples of an evaluation interface $Λ\subseteq\mathbb C^Ω$ by finite-height towers of pointwise limits. We first give a foundational analysis of what this extensional framework does and does not determine. In second place, we give a concrete non-trivial bridge result from a comparable SCI object to the well known limit rank of Weihrauch theory.