Wong, Tin Lok

1. An isomorphism theorem for models of Weak König's Lemma without primitive recursion
   2021/12/20 by Fiori-Carones, Marta, Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok +1 · 4 citations
   #03B30 #03C10 #03C62 #03F30 #03F35 #03H15 #FOS: Mathematics #Logic (math.LO)
2. Ramsey's theorem for pairs, collection, and proof size
   2020/05/14 by Kołodziejczyk, Leszek Aleksander, Wong, Tin Lok, Yokoyama, Keita · 2 citations
   #03B30 #03F20 (Primary) #03F25 #03F30 #03F35 #03H15 #05D10 (Secondary) #FOS: Mathematics #Logic (math.LO)
3. 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)