| On the mathematical and foundational significance of the uncountable D Normann, S Sanders Journal of Mathematical Logic, 2018 | 51 | 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 | 47 | 2017 |
| Pincherle's theorem in reverse mathematics and computability theory D Normann, S Sanders Annals of Pure and Applied Logic 171 (5), 102788, 2020 | 34 | 2020 |
| On the uncountability of D Normann, S Sanders The Journal of Symbolic Logic 87 (4), 1474-1521, 2022 | 26* | 2022 |
| The strength of compactness in computability theory and nonstandard analysis D Normann, S Sanders Annals of Pure and Applied Logic 170 (11), 102710, 2019 | 24 | 2019 |
| 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 | 24 | 2012 |
| Open sets in reverse mathematics and computability theory D Normann, S Sanders Journal of Logic and Computation 30 (8), 40, 2020 | 23 | 2020 |
| The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis S Sanders Computability 7 (1), 7-43, 2018 | 21* | 2018 |
| Computability Theory, Nonstandard Analysis, and their connections D Normann, S Sanders arXiv preprint arXiv:1702.06556, 2017 | 21* | 2017 |
| 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 |
| On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor D Normann, S Sanders The Journal of Symbolic Logic 89 (3), 1077-1127, 2024 | 18 | 2024 |
| Betwixt turing and Kleene D Normann, S Sanders Logical Foundations of Computer Science: International Symposium, LFCS 2022 …, 2021 | 18 | 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 | 18 | 2021 |
| 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 |
| On the computational properties of basic mathematical notions D Normann, S Sanders Journal of Logic and Computation 32 (8), 1747-1795, 2022 | 16 | 2022 |
| Reverse Mathematics of topology: dimension, paracompactness, and splittings S Sanders Notre Dame Journal of Formal Logic 61 (4), 537-559, 2020 | 16 | 2020 |
| The biggest five of reverse mathematics D Normann, S Sanders Journal of Mathematical Logic, 2450007, 2023 | 15 | 2023 |
| Reverse formalism 16 S Sanders Synthese 197, 497-544, 2020 | 15 | 2020 |
Mikhail KatzBar Ilan UniversityEmail verificata su math.biu.ac.il