Ramsey's theorem for pairs, collection, and proof size - Leszek Aleksander Kołodziejczyk; Tin Lok Wong; Keita Yokoyama (2020)