{"ID":23595656,"CreatedAt":"2026-09-18T05:42:42.291333095Z","UpdatedAt":"2026-09-18T05:42:42.291333095Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2609.20378","arxiv_id":"2609.20378","title":"From raw Solvability Complexity Index proofs to Weihrauch degrees","abstract":"The Solvability Complexity Index (SCI) provides an extensional limit-height formalism for recovering a target map $Ξ$ from finite samples of an evaluation interface $Λ$ by finite-height towers of pointwise limits. At first sight this sounds like a typical Type-2 question, so it seems natural to ask how deep and rich the connection of SCI approximation questions and Type-2 computability questions is. This note aims to explain this connection further with explicit examples mostly from the literature.","short_abstract":"The Solvability Complexity Index (SCI) provides an extensional limit-height formalism for recovering a target map $Ξ$ from finite samples of an evaluation interface $Λ$ by finite-height towers of pointwise limits. At first sight this sounds like a typical Type-2 question, so it seems natural to ask how deep and rich th...","url_abs":"https://arxiv.org/abs/2609.20378","url_pdf":"https://arxiv.org/pdf/2609.20378v1","authors":"[\"Christopher Sorg\"]","published":"2026-09-17T13:32:08Z","proceeding":"math.LO","tasks":"[\"math.LO\"]","methods":"[]","has_code":false}