| Publication | Date of Publication | Type |
|---|
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}\)
| 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
| 2022-07-01 | Paper |
Between Turing and Kleene
| 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
| 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
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 |
Reverse formalism 16
Synthese | 2021-12-01 | Paper |
Between Turing and Kleene
| 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
| 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 |
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
Journal Of Logic And Computation | 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
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 |
Representations and the foundations of mathematics
| 2019-10-16 | 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
| 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 |
Reverse mathematics and parameter-free transfer
Annals of Pure and Applied Logic | 2018-12-18 | Paper |
Some nonstandard equivalences in reverse mathematics
| 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
| 2018-05-29 | Paper |
Approaches to analysis with infinitesimals following Robinson, Nelson, and others
Real Analysis Exchange | 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
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?)
| 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
| 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
| 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 |
