  We show that the standard approach of minimal invariant sets, which applies
Zorn's Lemma and is used to prove fixed point theorems for non-expansive
mappings in Banach spaces can be applied without any reference to the full
Axiom of Choice when the given Banach space is separable. Our method applies
results from classical and effective descriptive set theory.
