Two theorems of functional analysis effectively equivalent to choice axioms
Volume 88 / 1975
Fundamenta Mathematicae 88 (1975), 95-101
DOI: 10.4064/fm-88-2-95-101