Reverse mathematics is a vibrant programme in mathematical logic that investigates the axioms necessary to establish fundamental theorems throughout mathematics. Central to this endeavour are ...

Nearly twenty years after I graduated high school and my last calculus class, I still get that nightmare where I’m at the exam for a calculus course I somehow forgot to attend, or that I faked my way ...