TY  - RPRT
TI  - The Strength of Ramsey's Theorem For Pairs over trees: I. Weak König's Lemma
AU  - Chi Tat Chong
AU  - Wei Li
AU  - Lu Liu
AU  - Yue Yang
PY  - 2019
UR  - https://arxiv.org/abs/1912.09049
ID  - 1912.09049
ER  -