On the mathematical and foundational significance of the uncountable D Normann, S Sanders Journal of Mathematical Logic, 2018 | 45 | 2018 |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others P Fletcher, K Hrbacek, V Kanovei, MG Katz, C Lobry, S Sanders Real Analysis Exchange 42 (2), 193-252, 2017 | 43 | 2017 |
Pincherle's theorem in reverse mathematics and computability theory D Normann, S Sanders Annals of Pure and Applied Logic 171 (5), 102788, 2020 | 27 | 2020 |
Nonstandard analysis, computability theory, and their connections D Normann, S Sanders Journal of Symbolic Logic 84, 1422-1465, 2019 | 24 | 2019 |
The Dirac delta function in two settings of Reverse Mathematics S Sanders, K Yokoyama Archive for Mathematical Logic 51 (1), 99-121, 2012 | 22 | 2012 |
The strength of compactness in computability theory and nonstandard analysis D Normann, S Sanders Annals of Pure and Applied Logic 170 (11), 102710, 2019 | 20 | 2019 |
The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis S Sanders Computability 7 (1), 7-43, 2018 | 20* | 2018 |
On the uncountability of D Normann, S Sanders The Journal of Symbolic Logic 87 (4), 1474-1521, 2022 | 19* | 2022 |
Reverse Mathematics and parameter-free Transfer B van den Berg, S Sanders Annals of Pure and Applied Logic 170 (3), 273-296, 2019 | 19* | 2019 |
Computability Theory, Nonstandard Analysis, and their connections D Normann, S Sanders arXiv preprint arXiv:1702.06556, 2017 | 18* | 2017 |
Erna and Friedman's reverse mathematics S Sanders The Journal of Symbolic Logic 76 (2), 637-664, 2011 | 18 | 2011 |
Transfer and a supremum principle for ERNA C Impens, S Sanders The Journal of Symbolic Logic 73 (2), 689-710, 2008 | 18 | 2008 |
Open sets in reverse mathematics and computability theory D Normann, S Sanders Journal of Logic and Computability 30 (8), 40, 2020 | 16 | 2020 |
Reverse Mathematics of topology: dimension, paracompactness, and splittings S Sanders Notre Dame Journal of Formal Logic 61 (4), 537-559, 2020 | 15 | 2020 |
The unreasonable effectiveness of Nonstandard Analysis S Sanders Journal of Logic and Computation 30 (1), 459-524, 2020 | 15 | 2020 |
Reverse formalism 16 S Sanders Synthese 197, 497-544, 2020 | 14 | 2020 |
Reverse formalism 16 S Sanders Synthese 197 (2), 497-544, 2020 | 14 | 2020 |
On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor D Normann, S Sanders The Journal of Symbolic Logic, 1-51, 2022 | 13 | 2022 |
Betwixt turing and Kleene D Normann, S Sanders Logical Foundations of Computer Science: International Symposium, LFCS 2022 …, 2021 | 13 | 2021 |
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis D Normann, S Sanders Journal of Logic and Computation 31 (1), 297-325, 2021 | 13 | 2021 |