T. Wong

most citedWhere Pigeonhole Principles meet König Lemmas

1 citations · 1 across the 1 of their papers we have counts for

collaborators

2 papers

math.LO2020

Ramsey's theorem for pairs, collection, and proof size

Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama

We prove that any proof of a $\forall Σ_{2}^{0}$ sentence in the theory $WKL_{0} + RT_{2}^{2}$ can be translated into a proof in $RCA_{0}$ at the cost of a polynomia…

math.LO2019★ 1 cited

Where Pigeonhole Principles meet König Lemmas

David Belanger, Chitat Chong, Wei Wang +2

We study the pigeonhole principle for $Σ_{2}$ -definable injections with domain twice as large as the codomain, and the weak König lemma for $Δ_{2}^{0}$ -definable trees in which every lev…