Slides

By popular request, here are some slides of recent talks.

​​

*) Sam Sanders, CiE 2026, July 2026, On the reverse mathematics of Darboux's supremum principle (and related theorems).​

​

I provide an overview of the 'big' results in the reverse mathematics of the uncountable as part of my project with Dag Normann.  

​

*) Dag Normann and Sam Sanders, CiE 2026, July 2026, On the computational properties of ambivalent sets and functons. 

​

I provide an overview of our results on the computability theory of the uncountable, including structure functionals and selectors of common classes. 

​

*) Sam Sanders, CCA 2026, July 2026, A new kind of reduction for third-order arithmetic. 

​

I attempt to generalise Weihrauch reducibility to third-order statements. 

​

​

​​

​​