New Challenges in Reverse Mathematics
(3 - 16 January 2016)

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

 

Organizing Committee

 

• 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)
  
  

Visitors and Participants

 

• Overseas visitors
• Local visitors
• Graduate students
• Registered local participants

 

Overview

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 recursion-theoretic 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 second-order 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:

1. 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.
   
   
2. Applications of nonstandard models of arithmetic in Reverse Mathematics. For example, conservation results, first-order consequences of combinatorial principles, the study of base theories like RCA0 in Reverse Mathematics and proof-theoretic ordinals corresponding to various combinatorial principles.
   
   
3. 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.
   

Activities

• 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, National University of Singapore, Singapore 117546
	6:30pm - 7:30pm	Foundations of Mathematics: An Optimistic Message Stephen G. Simpson, Pennsylvania State University, USA

• 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 JSPS-IMS Workshop on Logic and Foundations of Mathematics: 15 January 2016

 

Venue

 

• IMS Auditorium
   

Organizing Committee · Visitors and Participants · Overview · Activities · Venue