Search a Conference through our dedicated search page

New Challenges in Reverse Mathematics

3rd January 2016   -   16th January 2016
Institute for Mathematical Sciences, National Univ, 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 recursion-theoretic complexity measures and consistency strength.

Related Fields