Tin Lok Wong

1. Ramsey's theorem for pairs, collection, and proof size
   2020/05/14 by Leszek Aleksander Kołodziejczyk, Kołodziejczyk, Leszek Aleksander, Tin Lok Wong +3 · 2 citations
   Computer Science · Mathematics · #03B30 #03F20 (Primary) #03F25 #03F30 #03F35 #03H15 #05D10 (Secondary) #Advanced Topology and Set Theory #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
2. Where Pigeonhole Principles meet König Lemmas
   2019/12/07 by David Belanger, C. T. Chong, Belanger, David +7 · 2 citations
   Computer Science · Mathematics · #Advanced Topology and Set Theory #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)