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)