On the equivalence of an exhaustion principle and the axiom of choice
Tom 60 / 1967
Fundamenta Mathematicae 60 (1967), 209-211
DOI: 10.4064/fm-60-3-209-211