TY  - JOUR
AU  - Emanuele Frittaion
TI  - Brown’s lemma in second-order arithmetic
JO  - Fundamenta Mathematicae
PY  - 2017
SP  - 269
EP  - 283
VL  - 238
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm221-9-2016/
DO  - 10.4064/fm221-9-2016
LA  - en
ID  - 10_4064_fm221_9_2016
ER  -