Separable Banach Space Theory needs Strong Set Existence Axioms
functional analysis - Proof that a linear map T is bounded if and only if the inverse image of the unit ball has nonempty interior - Mathematics Stack Exchange
ON THE HAHN-BANACH THEOREM 1. What is it? - Universidad de ...