Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Sam Sanders
Profile
Projects
Publications
Activities
Awards & Distinctions
17
Results
2018
Refining the taming of the Reverse Mathematics zoo
Sam Sanders
A1
Journal Article
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2018
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis
Sam Sanders
A2
Journal Article
in
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE
2018
2016
The computational content of Nonstandard Analysis
Sam Sanders
A2
Journal Article
in
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
2016
2013
Algorithm and proof as Ω-invariance and transfer: a new model of computation in nonstandard analysis
Sam Sanders
C1
Conference
2013
On algorithm and robustness in a non-standard sense
Sam Sanders
C1
Conference
2013
On the connection between Nonstandard Analysis and Constructive Analysis
Sam Sanders
A1
Journal Article
in
LOGIQUE ET ANALYSE
2013
Reverse engineering reverse mathematics
Sam Sanders
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2013
2012
The Dirac delta function in two settings of Reverse Mathematics
Sam Sanders
Keita Yokoyama
A1
Journal Article
in
ARCHIVE FOR MATHEMATICAL LOGIC
2012
2011
ERNA and Friedman's reverse mathematics
Sam Sanders
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2011
Reverse mathematics & nonstandard analysis: towards a dispensability argument
Sam Sanders
C1
Conference
2011
2010
More infinity for a better finitism
Sam Sanders
A1
Journal Article
in
ANNALS OF PURE AND APPLIED LOGIC
2010
Relative arithmetic
Sam Sanders
A1
Journal Article
in
MATHEMATICAL LOGIC QUARTERLY
2010
The reverse mathematics of elementary recursive nonstandard analysis: a robust contribution to the foundations of mathematics
Sam Sanders
Christian Impens
Andreas Weiermann
Dissertation
2010
Unbounded arithmetic
Sam Sanders
Andreas Weiermann
C1
Conference
2010
2009
Saturation and $\Sigma_2$-transfer for ERNA
Christian Impens
Sam Sanders
A1
Journal Article
in
Journal of Symbolic Logic
2009
2008
Transfer and a supremum principle for ERNA
Christian Impens
Sam Sanders
A1
Journal Article
in
JOURNAL OF SYMBOLIC LOGIC
2008
2007
ERNA at work
Christian Impens
Sam Sanders
P1
Conference
2007