@misc{indiciae6f17863cdb0e,
  title = {Ramsey's theorem for pairs, collection, and proof size},
  author = {Leszek Aleksander Kołodziejczyk and Tin Lok Wong and Keita Yokoyama},
  year = {2021},
  url = {https://arxiv.org/abs/2005.06854},
  note = {Source identifier: 2005.06854}
}