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