How Incomputable is the Separable Hahn-Banach Theorem?

Gherardi, Guido

Marcone, Alberto