{"id":"arxiv/2603.18955","url":"https://arxiv.org/abs/2603.18955","tags":["math.LO","cs.LO","math.SP"],"score":0,"title":"Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy","domain":"math.LO","source":"arxiv","authors":["Christopher Sorg"],"reviews":0,"subject":"math.LO","summary":"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. We show that the SCI separation axiom is equivalent to a factorization of $Ξ$ through the full evaluation table, and we isolate the minimal logical role of $Λ$ as an information interface. To connect the SCI to Type-2 computability and Weihrauch reducibility, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-19","reactions":{}}