New Challenges in Reverse Mathematics
Date :
3rd January 2016   -   16th January 2016
Location :
Institute for Mathematical Sciences, National Univ, Singapore
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.
Conference Search Updated weekly ...