Choice free Fixed Point Property in separable Banach spaces

Abstract

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.