%0 Journal Article %A Emanuele Frittaion %T Brown’s lemma in second-order arithmetic %J Fundamenta Mathematicae %D 2017 %P 269-283 %V 238 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm221-9-2016/ %R 10.4064/fm221-9-2016 %G en %F 10_4064_fm221_9_2016