A non-standard explanation of Reverse Mathematics
Department of Mathematics, Ghent University
Reverse Mathematics (RM) is a program in the Foundations
of Mathematics initiated around 1975 by Harvey Friedman. We
discuss the aims and results of RM, in particular the “Big Five”
phenomenon. We consider non-standard explanations and
nonstandard robustness results for the Big Five phenomenon.
This is joint work with Damir Dzhafarov.
Sam Sanders finished his PhD in 2010 at Ghent University, under the supervision of Andreas Weiermann and Chris Impens, and now holds a postdoctoral position there. He studies analysis and the foundations of mathematics, doing work in reverse mathematics using nonstandard analysis, proof theory, and computability theory.