%0 Journal Article %A Wojciech Guzicki %T The equivalence of definable quantifiers in second order arithmetic %J Fundamenta Mathematicae %D 1981 %P 59-65 %V 113 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-113-1-59-65/ %R 10.4064/fm-113-1-59-65 %G en %F 10_4064_fm_113_1_59_65