Formalizes a trichotomy of exactness notions for SCI on families, proves witness-space sharpness equals worst-case exactness but is strictly weaker than family-pointwise exactness, supplies upgrade theorems, and illustrates with integration and spectral families.
Game characterizations and lower cones in the W eihrauch degrees
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
Formalizes a trichotomy of exactness notions for SCI on families, proves witness-space sharpness equals worst-case exactness but is strictly weaker than family-pointwise exactness, supplies upgrade theorems, and illustrates with integration and spectral families.