Reverse Mathematics 2001

Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.