Vasco Brattka Borel complexity and computability of the Hahn-Banach Theorem. 547-564 2008 46 Arch. Math. Log. 7-8 http://dx.doi.org/10.1007/s00153-007-0057-z db/journals/aml/aml46.html#Brattka08