On weaker forms of choice in second order arithmetic
Tom 93 / 1976
Fundamenta Mathematicae 93 (1976), 131-144
DOI: 10.4064/fm-93-2-131-144
