Abstract
We show in set theory ZF (without the Axiom of Choice), that uniformly smooth normed spaces satisfy an effective and geometric form of the Hahn-Banach property. We also compare in ZF the two notions of Gâteaux differentiability and smoothness of a norm, and we obtain a new equivalent of the Hahn-Banach axiom.
Mathematics Subject Classification (2000):