TY - JOUR AU - Wojciech Guzicki TI - On weaker forms of choice in second order arithmetic JO - Fundamenta Mathematicae PY - 1976 SP - 131 EP - 144 VL - 93 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-93-2-131-144/ DO - 10.4064/fm-93-2-131-144 LA - en ID - 10_4064_fm_93_2_131_144 ER -