| Publication | Date of Publication | Type |
|---|
On sequential theorems in reverse mathematics
Archive for Mathematical Logic | 2026-02-16 | Paper |
Big in reverse mathematics: measure and category
The Journal of Symbolic Logic | 2026-02-12 | Paper |
A note on continuous functions on metric spaces
The Bulletin of Symbolic Logic | 2025-01-24 | Paper |
Connecting real and hyperarithmetical analysis
Documenta Mathematica | 2025-01-24 | Paper |
On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
Journal of Symbolic Logic | 2024-11-25 | Paper |
On the logical and computational properties of the Vitali covering theorem
Annals of Pure and Applied Logic | 2024-10-07 | Paper |
Exploring the abyss in Kleene's computability theory
Computability | 2024-08-29 | Paper |
The non-normal abyss in Kleene's computability theory
Lecture Notes in Computer Science | 2024-01-12 | Paper |
| Bernstein polynomials throughout Reverse Mathematics | 2023-11-18 | Paper |
On the computational properties of the uncountability of the real numbers
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Big in Reverse Mathematics: measure and category | 2023-03-01 | Paper |
On the computational properties of basic mathematical notions
Journal Of Logic And Computation | 2023-01-04 | Paper |
Reverse mathematics of the uncountability of \(\mathbb{R}\)
(available as arXiv preprint) | 2022-12-07 | Paper |
| The Biggest Five of Reverse Mathematics | 2022-12-01 | Paper |
On the uncountability of \(\mathbb{R}\)
Journal of Symbolic Logic | 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
(available as arXiv preprint) | 2022-07-01 | Paper |
Between Turing and Kleene
(available as arXiv preprint) | 2022-07-01 | Paper |
Lifting proofs from countable to uncountable mathematics
Information and Computation | 2022-06-13 | Paper |
Representations and the foundations of mathematics
Notre Dame Journal of Formal Logic | 2022-05-06 | Paper |
Splittings and robustness for the Heine-Borel theorem
(available as arXiv preprint) | 2022-03-22 | Paper |
Reverse Mathematics of the uncountability of $\mathbb{R}$
(available as arXiv preprint) | 2022-03-10 | Paper |
Countable sets versus sets that are countable in reverse mathematics
Computability | 2022-02-28 | Paper |
The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
Journal Of Logic And Computation | 2022-02-08 | Paper |
| The computational content of nonstandard analysis | 2021-12-07 | Paper |
The computational content of nonstandard analysis
(available as arXiv preprint) | 2021-12-07 | Paper |
Reverse formalism 16
Synthese | 2021-12-01 | Paper |
Between Turing and Kleene
(available as arXiv preprint) | 2021-11-09 | Paper |
Reverse mathematics of topology: dimension, paracompactness, and splittings
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Betwixt Turing and Kleene
(available as arXiv preprint) | 2021-09-03 | Paper |
Nets and reverse mathematics
Computability | 2021-06-25 | Paper |
| Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis | 2021-06-22 | Paper |
Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis
(available as arXiv preprint) | 2021-06-22 | Paper |
Splittings and robustness for the Heine-Borel theorem
(available as arXiv preprint) | 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
Journal Of Logic And Computation | 2020-12-15 | Paper |
Countable sets versus sets that are countable in Reverse Mathematics
(available as arXiv preprint) | 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}$
(available as arXiv preprint) | 2020-07-15 | Paper |
The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis
(available as arXiv preprint) | 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
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Splittings and disjunctions in reverse mathematics
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
The unreasonable effectiveness of nonstandard analysis
Journal Of Logic And Computation | 2020-04-29 | Paper |
Pincherle's theorem in reverse mathematics and computability theory
Annals of Pure and Applied Logic | 2020-03-12 | Paper |
| Reverse mathematics and computability theory of domain theory | 2020-03-04 | Paper |
Computability theory, nonstandard analysis, and their connections
Journal of Symbolic Logic | 2020-01-10 | Paper |
Computability theory, nonstandard analysis, and their connections
Journal of Symbolic Logic | 2020-01-10 | Paper |
Representations and the foundations of mathematics
(available as arXiv preprint) | 2019-10-16 | Paper |
The strength of compactness in computability theory and nonstandard analysis
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
The strength of compactness in computability theory and nonstandard analysis
Annals of Pure and Applied Logic | 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
Journal of Mathematical Logic | 2019-07-08 | Paper |
Nets and Reverse Mathematics, a pilot study
(available as arXiv preprint) | 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
Annals of Pure and Applied Logic | 2019-02-04 | Paper |
Refining the taming of the reverse mathematics zoo
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
Refining the taming of the reverse mathematics zoo
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
Reverse mathematics and parameter-free transfer
Annals of Pure and Applied Logic | 2018-12-18 | Paper |
Some nonstandard equivalences in reverse mathematics
(available as arXiv preprint) | 2018-09-06 | Paper |
A footnote to ``The crisis in contemporary mathematics
Historia Mathematica | 2018-06-01 | Paper |
A note on non-classical Nonstandard Arithmetic
(available as arXiv preprint) | 2018-05-29 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 2018-05-18 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 2018-05-18 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 2018-05-18 | Paper |
Some nonstandard equivalences in Reverse Mathematics
(available as arXiv preprint) | 2018-04-21 | Paper |
| Metastability and higher-order computability | 2018-04-06 | Paper |
The Gandy-Hyland functional and a computational aspect of nonstandard analysis
Computability | 2018-03-16 | Paper |
To be or not to be constructive, that is not the question
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
scientific article; zbMATH DE number 6816944 (Why is no real title available?)
(available as arXiv preprint) | 2017-12-11 | Paper |
From nonstandard analysis to various flavours of computability theory
Lecture Notes in Computer Science | 2017-05-19 | Paper |
| Nonstandard Analysis and Constructivism! | 2017-04-02 | Paper |
A Computable Solution to Partee’s Temperature Puzzle
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) | 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 |
| On the connection between nonstandard analysis and constructive analysis | 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
(available as arXiv preprint) | 2014-09-24 | Paper |
Reverse-engineering reverse mathematics
Annals of Pure and Applied Logic | 2013-04-05 | Paper |
The Dirac delta function in two settings of reverse mathematics
Archive for Mathematical Logic | 2012-02-10 | Paper |
More infinity for a better finitism
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
ERNA and Friedman's Reverse Mathematics
Journal of Symbolic Logic | 2011-06-28 | Paper |
Relative arithmetic
Mathematical Logic Quarterly | 2011-01-10 | Paper |
Saturation and Σ2-transfer for ERNA
Journal of Symbolic Logic | 2009-09-29 | Paper |
Transfer and a supremum principle for ERNA
Journal of Symbolic Logic | 2008-06-09 | Paper |
Exploring the abyss in Kleene's computability theory
(available as arXiv preprint) | N/A | Paper |
On some computational properties of open sets
(available as arXiv preprint) | N/A | Paper |
On sequential theorems in Reverse Mathematics
(available as arXiv preprint) | N/A | Paper |
A note on continuous functions on metric spaces
(available as arXiv preprint) | N/A | Paper |
