Reverse Mathematics of Combinatorial Principles

Videos from CMO Workshop

, Vanderbilt University
- 10:55
Reverse mathematics and the ascending chain condition
Watch video | Download video: 201909161010-Simpson.mp4 (300M)
, University of Udine - Italy
- 12:37
The open and clopen Ramsey theory in the Weihrauch lattice
Watch video | Download video: 201909161140-Marcone.mp4 (324M)
, Appalachian State University
- 15:36
Questions about Hindman’s theorem
Watch video | Download video: 201909161500-Hirst.mp4 (226M)
, University of Warsaw
- 17:21
The reverse mathematics of Büchi’s decidability theorem
Watch video | Download video: 201909161630-Kolodziejczyk.mp4 (309M)
, National University if Singapore
- 10:17
Cohesive trees
Watch video | Download video: 201909170930-Chong.mp4 (235M)
, University of Denver
- 11:51
Open Problems in the Reverse Mathematics of Ramsey Theory on Trees and Graphs
Watch video | Download video: 201909171100-Dobrinen.mp4 (582M)
, CNRS, IMJ-PRG
- 15:59
SRT22 does not imply COH in omega models
Watch video | Download video: 201909171500-Patey.mp4 (318M)
, Paris- Creteil
- 17:22
Lowness of the pigeonhole principle
Watch video | Download video: 201909171630-Monin.mp4 (243M)
, Penn State University
- 10:20
Reverse math of the dual Ramsey theorem
Watch video | Download video: 201909190930-Westrick.mp4 (323M)
, Sun Yat-sen University
- 11:50
Some propositions between WWKL0 and WKL0
Watch video | Download video: 201909191100-Wang.mp4 (169M)
, JAIST
- 15:47
The first-order part of Ramsey’s theorem for pairs
Watch video | Download video: 201909191500-Yokoyama.mp4 (239M)
, Swansea University
- 17:18
Weihrauch degrees of closed choice on finite spaces
Watch video | Download video: 201909191630-Pauly.mp4 (273M)
, University of Leeds
- 10:12
The reverse mathematics of an inside-outside Ramsey theorem
Watch video | Download video: 201909200930-Shafer.mp4 (241M)
, Victoria University of Wellington
- 11:52
Relationships between preservation properties of problems
Watch video | Download video: 201909201100-Greenberg.mp4 (282M)