How Incomputable Is the Separable Hahn-Banach Theorem?
Work
Year: 2009
Type: article
Abstract: 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. In particular, we u... more
Authors Guido Gherardi, Alberto Marcone
Cites: 16
Cited by: 63
Related to: 10
FWCI: 4.212
Citation percentile (by year/subfield): 99.99
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze