Which set existence axioms are needed to prove the separable Hahn-Banach theorem (1986)

by D K Brown, S G Simpson
Venue:Annals of Pure and Applied Logic