Made with higher types
Some papers.
A publication list is here (PDF) and here; many of my papers may also be found on the arXiv and ResearchGate.
Reverse Mathematics beyond the Gödel hierarchy
- Dag Normann and Sam Sanders On the mathematical and foundational significance of the uncountable.
Link to the most recent arXiv version and some discussion.
- Dag Normann and Sam Sanders Uniformity in Mathematics.
Link to the most recent arXiv version and some discussion.
- Sam Sanders Reverse Mathematics of topology: dimension, paracompactness, and splittings.
Link to the most recent arXiv version and some discussion.
- Sam Sanders Splittings and disjunctions in Reverse Mathematics.
Link to the most recent arXiv version and some discussion.
Nonstandard Analysis, in particular its computational content
- Dag Normann and Sam Sanders Computability Theory, Nonstandard Analysis, and their connections .
Link to the most recent arXiv version and some discussion.
- Dag Normann and Sam Sanders, The strength of compactness in Computability Theory and Nonstandard Analysis.
Link to the most recent arXiv version and some discussion.
- Sam Sanders, To be or not to be constructive: that is not the question.
Link to the most recent arXiv version and some discussion.
-Sam Sanders, Formalism '16
Link to the most recent arXiv version and some discussion.