Leszek Aleksander Kołodziejczyk
- Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
2018/07/02 by Leszek Aleksander Kołodziejczyk, Keita Yokoyama, Kołodziejczyk, Leszek Aleksander +1 · 4 citations
Computer Science · Mathematics · #03B30 #03F30 #03F35 #05D10 #Advanced Topology and Set Theory #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Mathematics #Limits and Structures in Graph Theory #Logic (math.LO)
- Ramsey's theorem for pairs, collection, and proof size
2020/05/14 by Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Kołodziejczyk, Leszek Aleksander +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)