Two theorems of functional analysis effectively equivalent to choice axioms D. Edwards (1975) Fundamenta Mathematicae