| Publication | Date of Publication | Type |
|---|
Sufficient convexity and best approximation
Documenta Mathematica | 2025-01-24 | Paper |
| Constructive convex programming | 2024-09-09 | Paper |
Constructive Convex Optimisation
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Brouwer’s Fan Theorem
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
A Constructive Version of Carathéodory’s Convexity Theorem
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice
Mathematics for Computation (M4C) | 2023-08-04 | Paper |
On Farkas' lemma and related propositions in BISH
Annals of Pure and Applied Logic | 2022-01-18 | Paper |
Constructive proofs of negated statements
Mathesis Universalis, Computability and Proof | 2020-08-10 | Paper |
Convexity and unique minimum points
Archive for Mathematical Logic | 2019-01-24 | Paper |
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Archive for Mathematical Logic | 2019-01-24 | Paper |
Brouwer's fan theorem and convexity
Journal of Symbolic Logic | 2019-01-04 | Paper |
A bound for Dickson's lemma
(available as arXiv preprint) | 2017-10-12 | Paper |
Convexity and constructive infima
Archive for Mathematical Logic | 2016-11-01 | Paper |
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
Annals of Pure and Applied Logic | 2016-08-31 | Paper |
| The weak König lemma, Brouwer's fan theorem, De Morgan's law, and dependent choice | 2014-04-25 | Paper |
| Constructive aspects of Riemann's permutation theorem for series | 2013-03-28 | Paper |
A decomposition of Brouwer's fan theorem
Journal of Logic and Analysis | 2012-12-17 | Paper |
| A constructive study of Landau's summability theorem | 2012-09-28 | Paper |
Double sequences, almost Cauchyness and BD-N
Logic Journal of the IGPL | 2012-08-01 | Paper |
A predicative completion of a uniform space
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
| A constructive study of Landau's summability theorem | 2011-02-10 | Paper |
| Rearranging series constructively | 2010-09-22 | Paper |
| A separation result for varieties of Brouwer's fan theorem | 2010-06-17 | Paper |
| scientific article; zbMATH DE number 5676623 (Why is no real title available?) | 2010-03-02 | Paper |
The weak König lemma and uniform continuity
Journal of Symbolic Logic | 2009-03-23 | Paper |
Dini’s Theorem in the Light of Reverse Mathematics
Synthese Library | 2009-03-12 | Paper |
The anti-Specker property, a Heine-Borel property, and uniform continuity
Archive for Mathematical Logic | 2008-05-26 | Paper |
A fan-theoretic equivalent of the antithesis of Specker's theorem
Indagationes Mathematicae. New Series | 2008-01-07 | Paper |
| Constructive equivalents of the uniform continuity theorem | 2007-10-15 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Classifying Dini's theorem
Notre Dame Journal of Formal Logic | 2007-02-15 | Paper |
A Bizarre Property Equivalent to the -Fan Theorem
Logic Journal of the IGPL | 2007-02-15 | Paper |
The fan theorem and unique existence of maxima
Journal of Symbolic Logic | 2006-08-03 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Brouwer's fan theorem and unique existence in constructive analysis
MLQ | 2005-08-01 | Paper |
Exact calculation of inverse functions
MLQ | 2005-04-07 | Paper |
On nonstandard product measure spaces
Illinois Journal of Mathematics | 2003-01-01 | Paper |
