Set theory seminarFriday, December 13, 201310:00 am

# A non-standard explanation of Reverse Mathematics

## Sam Sanders

### 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.

Posted by

on December 8th, 2013