TY  - RPRT
TI  - The reverse mathematics of Ramsey-type theorems
AU  - Ludovic Patey
PY  - 2016
UR  - https://arxiv.org/abs/1601.04428
ID  - 1601.04428
ER  -