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. This book contains 24 original papers by leading researchers. These articles cover recent developments in reverse mathematics and subsystems of second order arithmetic.