A non-standard explanation of Reverse Mathematics

Set theory seminarFriday, December 13, 201310:00 am

Sam Sanders

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.

Posted by on December 8th, 2013