The first-order part of Ramsey’s theorem for pairs
Keita Yokoyama, Video: The first-order part of Ramsey’s theorem for pairs
Keita Yokoyama, Video: The first-order part of Ramsey’s theorem for pairs
Keita Yokoyama, The first-order part of Ramsey’s theorem for pairs, Reverse Mathematics of Combinatorial Principles, BIRS, BIRS talk, 19w5111, math, mathematics, video