Reverse Mathematics of Combinatorial Principles
Videos from CMO Workshop
Stephen G. Simpson, Vanderbilt University
Monday Sep 16, 2019 10:10 - 10:55
Reverse mathematics and the ascending chain condition
Alberto Marcone, University of Udine - Italy
Monday Sep 16, 2019 11:40 - 12:37
The open and clopen Ramsey theory in the Weihrauch lattice
Jeff Hirst, Appalachian State University
Monday Sep 16, 2019 15:00 - 15:36
Questions about Hindman’s theorem
Leszek Kolodziejczyk, University of Warsaw
Monday Sep 16, 2019 16:30 - 17:21
The reverse mathematics of Büchi’s decidability theorem
Chitat Chong, National University if Singapore
Tuesday Sep 17, 2019 09:30 - 10:17
Cohesive trees
Natasha Dobrinen, University of Denver
Tuesday Sep 17, 2019 11:00 - 11:51
Open Problems in the Reverse Mathematics of Ramsey Theory on Trees and Graphs
Ludovic Levy Patey, CNRS, IMJ-PRG
Tuesday Sep 17, 2019 15:00 - 15:59
SRT22 does not imply COH in omega models
Benoit Monin, Paris- Creteil
Tuesday Sep 17, 2019 16:30 - 17:22
Lowness of the pigeonhole principle
Linda Westrick, Penn State University
Thursday Sep 19, 2019 09:30 - 10:20
Reverse math of the dual Ramsey theorem
Wei Wang, Sun Yat-sen University
Thursday Sep 19, 2019 11:00 - 11:50
Some propositions between WWKL0 and WKL0
Keita Yokoyama, JAIST
Thursday Sep 19, 2019 15:00 - 15:47
The first-order part of Ramsey’s theorem for pairs
Arno Pauly, Swansea University
Thursday Sep 19, 2019 16:30 - 17:18
Weihrauch degrees of closed choice on finite spaces
Paul Shafer, University of Leeds
Friday Sep 20, 2019 09:30 - 10:12
The reverse mathematics of an inside-outside Ramsey theorem
Noam Greenberg, Victoria University of Wellington
Friday Sep 20, 2019 11:00 - 11:52
Relationships between preservation properties of problems