| Publication | Date of Publication | Type |
|---|
Bayesian dual systems population estimation for small domains
Statistics Surveys | 2024-03-25 | Paper |
Constructive Mathematical Economics
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
scientific article; zbMATH DE number 7577585 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577585 (Why is no real title available?) | 2022-08-30 | Paper |
Differentiating convex functions constructively
Journal of Logic and Analysis | 2021-01-22 | Paper |
Bishop's lemma
Mathematical Logic Quarterly | 2020-05-11 | Paper |
Completeness: when enough is enough
Documenta Mathematica | 2019-07-09 | Paper |
| (Seemingly) Impossible Theorems in Constructive Mathematics | 2019-04-11 | Paper |
On the uniform computational content of the Baire category theorem
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
On the uniform computational content of the Baire category theorem
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
| Rectifiability and finite variation | 2018-05-29 | Paper |
On the uniform computational content of computability theory
Theory of Computing Systems | 2018-02-01 | Paper |
The Third Trick
(available as arXiv preprint) | 2018-01-30 | Paper |
Separating fragments of WLEM, LPO, and MP
Journal of Symbolic Logic | 2017-04-28 | Paper |
A constructive examination of rectifiability
Journal of Logic and Analysis | 2017-04-10 | Paper |
| Weak K\"{o}nig's lemma implies the uniform continuity theorem: a direct proof | 2016-11-08 | Paper |
| Kakutani's fixed point theorem in constructive mathematics | 2016-11-08 | Paper |
| On the construction of general equilibria in a competitive economy | 2016-11-08 | Paper |
| Constructing the demand function of a strictly convex preference relation | 2016-11-08 | Paper |
| Equivalents of disjunctive Markov's principle | 2016-11-08 | Paper |
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Archive for Mathematical Logic | 2016-05-13 | Paper |
Reverse mathematics, well-quasi-orders, and Noetherian spaces
Archive for Mathematical Logic | 2016-05-13 | Paper |
Fixed point theorems in constructive mathematics
Journal of Logic and Analysis | 2012-12-17 | Paper |
Minima and best approximations in constructive analysis
Journal of Logic and Analysis | 2012-12-17 | Paper |
Constructing the minimal period of homomorphisms into \(\mathbb R^n\)
Indagationes Mathematicae. New Series | 2012-08-23 | Paper |
A direct proof of Wiener's theorem
Lecture Notes in Computer Science | 2012-08-14 | Paper |
The intermediate value theorem in constructive mathematics without choice
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
The computational content of Walras' existence theorem
Applied Mathematics and Computation | 2011-03-28 | Paper |
Continuous isomorphisms from R onto a complete abelian group
Journal of Symbolic Logic | 2010-10-04 | Paper |
Continuous homomorphisms of R onto a compact group
MLQ | 2010-04-15 | Paper |
