Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Sam Sanders
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
17
Resultaten
2018
Refining the taming of the Reverse Mathematics zoo
Sam Sanders
A1
Artikel in een tijdschrift
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2018
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis
Sam Sanders
A2
Artikel in een tijdschrift
in
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE
2018
2016
The computational content of Nonstandard Analysis
Sam Sanders
A2
Artikel in een tijdschrift
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
Conferentie
2013
On algorithm and robustness in a non-standard sense
Sam Sanders
C1
Conferentie
2013
On the connection between Nonstandard Analysis and Constructive Analysis
Sam Sanders
A1
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
2013
Reverse engineering reverse mathematics
Sam Sanders
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2013
2012
The Dirac delta function in two settings of Reverse Mathematics
Sam Sanders
Keita Yokoyama
A1
Artikel in een tijdschrift
in
ARCHIVE FOR MATHEMATICAL LOGIC
2012
2011
ERNA and Friedman's reverse mathematics
Sam Sanders
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2011
Reverse mathematics & nonstandard analysis: towards a dispensability argument
Sam Sanders
C1
Conferentie
2011
2010
More infinity for a better finitism
Sam Sanders
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2010
Relative arithmetic
Sam Sanders
A1
Artikel in een tijdschrift
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
Proefschrift
2010
Unbounded arithmetic
Sam Sanders
Andreas Weiermann
C1
Conferentie
2010
2009
Saturation and $\Sigma_2$-transfer for ERNA
Christian Impens
Sam Sanders
A1
Artikel in een tijdschrift
in
Journal of Symbolic Logic
2009
2008
Transfer and a supremum principle for ERNA
Christian Impens
Sam Sanders
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2008
2007
ERNA at work
Christian Impens
Sam Sanders
P1
Conferentie
2007