Institute for Mathematical Sciences Programs & Activities
New Challenges in Reverse Mathematics
(3  16 January 2016)
Organizing Committee · Visitors and Participants · Overview · Activities · Venue
 Denis Hirschfeldt (University of Chicago)
 Richard Shore (Cornell University)
 Stephen Simpson (Pennsylvania State University)
 Theodore A. Slaman (The University of California, Berkeley)
 Frank Stephan (National University of Singapore)
 Yue Yang (National University of Singapore)
The central theme of Reverse Mathematics is calibrating the strength of classical mathematical theorems in terms of the axioms needed to prove them; this calibration also takes into account recursiontheoretic complexity measures and consistency strength.
The area is a very active one that investigates many topics in classical mathematics and involves all major branches of modern mathematics. For its first two or three decades, that is from 1970s to 1990s, almost all of the mathematical theorems that were studied in Reverse Mathematics were found to be equivalent to one of five subsystems of secondorder arithmetic (the so called "big five" systems). Since about 2000, Reverse Mathematics has become much more diversified. The list of theorems that led to this new flowering began primarily with Ramsey’s Theorem for Pairs and related combinatorial principles. Since that beginning, many new axiom systems and techniques from other areas in mathematical logic as well as combinatorics have been introduced and fruitfully explored to study problems in Reverse Mathematics. These investigations have presented us with important new challenges and opened several new frontiers for research in the field.
The following is a list of topics that are of great current interest:
 Reverse Mathematics of standard uncountable mathematics including algebra, combinatorics and analysis. Topics within logic include Determinacy Axioms, (effective versions of) cardinal invariants and higher order Reverse Mathematics.
 Applications of nonstandard models of arithmetic in Reverse Mathematics. For example, conservation results, firstorder consequences of combinatorial principles, the study of base theories like RCA0 in Reverse Mathematics and prooftheoretic ordinals corresponding to various combinatorial principles.
 Alternative approaches to classify the strength of axioms and theorems like Weihrauch degrees, typed reverse mathematics and connections between reverse mathematics and related areas like recursion theory and computational complexity.
 Collaborative Research and Workshop: 3  16 January 2016
There will be talks in the mornings and free discussions in the afternoons.
 Public Lecture
Date: 
Wednesday, 6 January 2016 

Venue: 
LT31, Block S16, Level 3, Faculty of Science, 

6:30pm  7:30pm 
Foundations of Mathematics: An Optimistic Message 
 Tutorial by Vasco Brattka (UniBW Munich, Germany)
Slides from Dagstuhl Seminar 15392, 20  25 September 2015 here
Bibliography on Weihrauch Complexity
 Joint session with the JSPSIMS Workshop on Logic and Foundations of Mathematics: 15 January 2016
Organizing Committee · Visitors and Participants · Overview · Activities · Venue