| Publication | Date of Publication | Type |
|---|
| A note on continuous functions on metric spaces | 2025-01-24 | Paper |
| Connecting real and hyperarithmetical analysis | 2025-01-24 | Paper |
| On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor | 2024-11-25 | Paper |
| On the logical and computational properties of the Vitali covering theorem | 2024-10-07 | Paper |
| Exploring the abyss in Kleene's computability theory | 2024-08-29 | Paper |
| The non-normal abyss in Kleene's computability theory | 2024-01-12 | Paper |
| Bernstein polynomials throughout Reverse Mathematics | 2023-11-18 | Paper |
| On the computational properties of the uncountability of the real numbers | 2023-06-02 | Paper |
| Big in Reverse Mathematics: measure and category | 2023-03-01 | Paper |
| On the computational properties of basic mathematical notions | 2023-01-04 | Paper |
| Reverse mathematics of the uncountability of \(\mathbb{R}\) | 2022-12-07 | Paper |
| The Biggest Five of Reverse Mathematics | 2022-12-01 | Paper |
| ON THE UNCOUNTABILITY OF | 2022-11-18 | Paper |
| Historical infinitesimalists and modern historiography of infinitesimals | 2022-10-26 | Paper |
| On the computational properties of the Baire Category Theorem | 2022-10-11 | Paper |
| Big in Reverse Mathematics: the uncountability of the real numbers | 2022-08-05 | Paper |
| Betwixt Turing and Kleene | 2022-07-01 | Paper |
| Between Turing and Kleene | 2022-07-01 | Paper |
| Lifting proofs from countable to uncountable mathematics | 2022-06-13 | Paper |
| Representations and the foundations of mathematics | 2022-05-06 | Paper |
| Splittings and robustness for the Heine-Borel theorem | 2022-03-22 | Paper |
| Reverse Mathematics of the uncountability of $\mathbb{R}$ | 2022-03-10 | Paper |
| Countable sets versus sets that are countable in reverse mathematics | 2022-02-28 | Paper |
| The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis | 2022-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015363 | 2021-12-07 | Paper |
| Reverse formalism 16 | 2021-12-01 | Paper |
| Between Turing and Kleene | 2021-11-09 | Paper |
| Reverse mathematics of topology: dimension, paracompactness, and splittings | 2021-09-07 | Paper |
| Betwixt Turing and Kleene | 2021-09-03 | Paper |
| Nets and reverse mathematics | 2021-06-25 | Paper |
| Algorithm and proof as \Omega-invariance and transfer: A new model of computation in nonstandard analysis | 2021-06-22 | Paper |
| Splittings and robustness for the Heine-Borel theorem | 2021-06-10 | Paper |
| On robust theorems due to Bolzano, Weierstrass, Cantor, and Jordan | 2021-02-09 | Paper |
| Open sets in computability theory and reverse mathematics | 2020-12-15 | Paper |
| Countable sets versus sets that are countable in Reverse Mathematics | 2020-11-03 | Paper |
| Reverse Mathematics of the uncountability of $\mathbb{R}$: Baire classes, metric spaces, and unordered sums | 2020-11-03 | Paper |
| On the uncountability of $\mathbb{R}$ | 2020-07-15 | Paper |
| The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis | 2020-05-30 | Paper |
| Nets and reverse mathematics. Some initial results | 2020-05-12 | Paper |
| Lifting recursive counterexamples to higher-order arithmetic | 2020-05-06 | Paper |
| Splittings and disjunctions in reverse mathematics | 2020-05-04 | Paper |
| The unreasonable effectiveness of Nonstandard Analysis | 2020-04-29 | Paper |
| Pincherle's theorem in reverse mathematics and computability theory | 2020-03-12 | Paper |
| Reverse mathematics and computability theory of domain theory | 2020-03-04 | Paper |
| COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS | 2020-01-10 | Paper |
| Representations and the foundations of mathematics | 2019-10-16 | Paper |
| The strength of compactness in computability theory and nonstandard analysis | 2019-10-07 | Paper |
| Plato and the foundations of mathematics | 2019-08-15 | Paper |
| Lifting countable to uncountable mathematics | 2019-08-15 | Paper |
| On the mathematical and foundational significance of the uncountable | 2019-07-08 | Paper |
| Nets and Reverse Mathematics, a pilot study | 2019-05-10 | Paper |
| On the logical and computational properties of the Vitali covering theorem | 2019-02-07 | Paper |
| A note on non-classical nonstandard arithmetic | 2019-02-04 | Paper |
| Refining the taming of the reverse mathematics zoo | 2018-12-21 | Paper |
| Reverse mathematics and parameter-free transfer | 2018-12-18 | Paper |
| Some nonstandard equivalences in reverse mathematics | 2018-09-06 | Paper |
| A footnote to ``The crisis in contemporary mathematics | 2018-06-01 | Paper |
| A note on non-classical Nonstandard Arithmetic | 2018-05-29 | Paper |
| Approaches to analysis with infinitesimals following Robinson, Nelson, and others | 2018-05-18 | Paper |
| Some nonstandard equivalences in Reverse Mathematics | 2018-04-21 | Paper |
| Metastability and higher-order computability | 2018-04-06 | Paper |
| The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis | 2018-03-16 | Paper |
| To be or not to be constructive, that is not the question | 2018-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596802 | 2017-12-11 | Paper |
| From Nonstandard Analysis to Various Flavours of Computability Theory | 2017-05-19 | Paper |
| Nonstandard Analysis and Constructivism! | 2017-04-02 | Paper |
| A Computable Solution to Partee’s Temperature Puzzle | 2017-02-22 | Paper |
| On the computational content of the Loeb measure | 2016-09-07 | Paper |
| The effective content of Reverse Nonstandard Mathematics and the nonstandard content of effective Reverse Mathematics | 2015-11-15 | Paper |
| Non-standard Nonstandard Analysis and the computational content of standard mathematics | 2015-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982685 | 2015-04-10 | Paper |
| More than bargained for in Reverse Mathematics | 2015-02-12 | Paper |
| Searching through the reals | 2015-02-12 | Paper |
| Uniform and nonstandard existence in Reverse Mathematics | 2015-02-12 | Paper |
| Reverse Mathematics of Brouwer's continuity theorem and related principles | 2015-02-12 | Paper |
| The taming of the Reverse Mathematics zoo | 2014-12-05 | Paper |
| Reverse Mathematics and parameter-free Transfer | 2014-09-24 | Paper |
| Reverse-engineering reverse mathematics | 2013-04-05 | Paper |
| The Dirac delta function in two settings of reverse mathematics | 2012-02-10 | Paper |
| More infinity for a better finitism | 2011-08-26 | Paper |
| ERNA and Friedman's Reverse Mathematics | 2011-06-28 | Paper |
| Relative arithmetic | 2011-01-10 | Paper |
| Saturation and Σ2-transfer for ERNA | 2009-09-29 | Paper |
| Transfer and a supremum principle for ERNA | 2008-06-09 | Paper |
| Exploring the abyss in Kleene's computability theory | N/A | Paper |
| On some computational properties of open sets | N/A | Paper |
| On sequential theorems in Reverse Mathematics | N/A | Paper |
| A note on continuous functions on metric spaces | N/A | Paper |
