New Challenges in Reverse Mathematics

3rd January 2016   -   16th January 2016
Institute for Mathematical Sciences, National Univ, Singapore
http://www2.ims.nus.edu.sg/Programs/016reverse/
Save

Abstract

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.

Related Fields