Reverse Mathematics Workshop
September 16-18, 2011
University of Chicago
Schedule:
Talks will be at Ryerson 251. Lunch and coffee at the Barn (Ryerson 352). Door will be open on Eckhart Hall
Friday.
Lunch at noon, at the Barn (Ryerson Hall 352).
1:15 - 2:00 -- Stephen G. Simpson. Some aspects of reverse mathematics
2:15 - 3:00 -- Steffen Lempp. Reverse mathematics and first-order arithmetic
Coffee break
3:30 - 4:15 -- Carl Jockusch. Ramsey's Theorem and arithmetic comprehension
4:30 - 5:15 --
Jiayi Liu. Cone avoid closed sets induced by non-enumerable trees within partition
Saturday.
Breakfast at 9:30, at the Barn (Ryerson Hall 352)
9:55 - 10:10 -- Presentation of the Reverse Math Zoo by Damir Dzhafarov
10:15 - 11:00 -- Jeff Hirst. Two combinatorial proofs and some related questions
11:15 - 12:00 -- Carl Mummert. Reverse mathematics of principles equivalent to the axiom of choice
Lunch
2:15 - 3:00 -- Michael Rathjen. Omega models and well-ordering principles
3:15 - 4:00 -- Jeremy Avigad. Computability, constructivity, and convergence in measure theory
Coffee Break
4:30 - 5:15 -- Andreas Weiermann. Well partial orders and reverse mathematics
5:30 - 6:15 -- Alberto Marcone. The strength of 'interval wqos are bqos'
Sunday.
Breakfast at 9:00, at the Barn (Ryerson Hall 352)
9:15 - 10:00 -- Peter Cholak. Some projects in Reverse Mathematics
10:15 - 11:00 -- Theodore A. Slaman. Infinite Random Sequences and First Order Consequences
11:15 - 12:00 -- Richard A. Shore. Weak Principles and Low Levels of Induction
Reverse Mathematics Workshop