Which set existence axioms are needed to prove the separable Hahn-Banach theorem? Annals of Pure and Applied Logic (1986)

by Douglas K Brown, Stephen G Simpson