A popular humorist and avowed mathphobe once declared that in real life, there’s no such thing as algebra. Kathie Wilson knows better. Most of the students in her 8th grade class will be thrust into ...

Reverse mathematics is a framework for analysing the minimal axioms required to prove mathematical theorems by working within subsystems of second-order arithmetic. Its central concern is to establish ...