TY  - RPRT
TI  - Ramsey's theorem for pairs, collection, and proof size
AU  - Leszek Aleksander Kołodziejczyk
AU  - Tin Lok Wong
AU  - Keita Yokoyama
PY  - 2021
UR  - https://arxiv.org/abs/2005.06854
ID  - 2005.06854
ER  -