100 citations · 264 across the 34 of their papers we have counts for
1 paper · 1 filter
Guido Gherardi, Alberto Marcone
We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis.…