TY  - RPRT
TI  - Brown's lemma in second-order arithmetic
AU  - Emanuele Frittaion
PY  - 2016
UR  - https://arxiv.org/abs/1512.04195
ID  - 1512.04195
ER  -