TY  - RPRT
TI  - The Definability Strength of Combinatorial Principles
AU  - Wei Wang
PY  - 2014
DO  - 10.1017/jsl.2016.10
UR  - https://arxiv.org/abs/1408.1465
ID  - 1408.1465
ER  -