Schedule for: 19w5111 - Reverse Mathematics of Combinatorial Principles
Beginning on Sunday, September 15 and ending Friday September 20, 2019
All times in Oaxaca, Mexico time, CDT (UTC-5).
| Sunday, September 15 | |
|---|---|
| 14:00 - 23:59 | Check-in begins (Front desk at your assigned hotel) |
| 19:30 - 22:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| 20:30 - 21:30 | Informal gathering (Hotel Hacienda Los Laureles) |
| Monday, September 16 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 10:00 - 10:10 | Introduction and Welcome (Conference Room San Felipe) |
| 10:10 - 11:00 | Stephen G. Simpson: Reverse mathematics and the ascending chain condition (Conference Room San Felipe) |
| 11:10 - 11:40 | Coffee Break (Conference Room San Felipe) |
| 11:40 - 12:30 | Alberto Marcone: The open and clopen Ramsey theory in the Weihrauch lattice (Conference Room San Felipe) |
| 13:20 - 13:30 | Group Photo (Hotel Hacienda Los Laureles) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 15:00 - 15:50 | Jeff Hirst: Questions about Hindman’s theorem (Conference Room San Felipe) |
| 16:00 - 16:30 | Coffee Break (Conference Room San Felipe) |
| 16:30 - 17:20 | Leszek Kolodziejczyk: The reverse mathematics of Büchi’s decidability theorem (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Tuesday, September 17 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 10:20 | Chitat Chong: Cohesive trees (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 11:50 | Natasha Dobrinen: Open Problems in the Reverse Mathematics of Ramsey Theory on Trees and Graphs (Conference Room San Felipe) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 15:00 - 15:50 | Ludovic Patey: SRT22 does not imply COH in omega models (Conference Room San Felipe) |
| 16:00 - 16:30 | Coffee Break (Conference Room San Felipe) |
| 16:30 - 17:20 | Benoit Monin: Lowness of the pigeonhole principle (Conference Room San Felipe) |
| 17:30 - 19:00 | Open problems session (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Wednesday, September 18 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 12:30 - 13:30 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Thursday, September 19 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 10:20 | Linda Brown Westrick: Reverse math of the dual Ramsey theorem (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 11:50 | Wei Wang: Some propositions between WWKL0 and WKL0 (Conference Room San Felipe) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 15:00 - 15:50 | Keita Yokoyama: The first-order part of Ramsey’s theorem for pairs (Conference Room San Felipe) |
| 16:00 - 16:30 | Coffee Break (Conference Room San Felipe) |
| 16:30 - 17:20 | Arno Pauly: Weihrauch degrees of closed choice on finite spaces (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Friday, September 20 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 10:20 | Paul Shafer: The reverse mathematics of an inside-outside Ramsey theorem (Conference Room San Felipe) |
| 10:30 - 11:00 | Coffee Break (Conference Room San Felipe) |
| 11:00 - 11:50 | Noam Greenberg: Relationships between preservation properties of problems (Conference Room San Felipe) |
| 12:00 - 14:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
