T. Wong

most citedRamsey's theorem for pairs, collection, and proof size

2 citations · 3 across the 2 of their papers we have counts for

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2020★ 2 cited

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…