Matthew Hendtlass

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 9

Top Topics

Convex Functions

Top Venues

Theory Comput. Syst.

Arch. Math. Log.

Publications

Hannes Diener, Matthew Hendtlass
The Third Trick. Log. Methods Comput. Sci. 18 (3) (2022)
Hannes Diener, Matthew Hendtlass
Differentiating convex functions constructively. J. Log. Anal. 12 (2020)
Hannes Diener, Matthew Hendtlass
(Seemingly) Impossible Theorems in Constructive Mathematics. CoRR (2019)
Hannes Diener, Matthew Hendtlass
Bishop's Lemma. Math. Log. Q. 64 (1-2) (2018)
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
On the Uniform Computational Content of the Baire Category Theorem. Notre Dame J. Formal Log. 59 (4) (2018)
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
On the Uniform Computational Content of Computability Theory. Theory Comput. Syst. 61 (4) (2017)
Douglas S. Bridges, Matthew Hendtlass, Erik Palmgren
A constructive examination of rectifiability. J. Log. Anal. 8 (2016)
Matthew Hendtlass, Robert S. Lubarsky
Separating Fragments of Wlem, LPO, and MP. J. Symb. Log. 81 (4) (2016)
Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
Reverse mathematics, well-quasi-orders, and Noetherian spaces. Arch. Math. Log. 55 (3-4) (2016)
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
On the Uniform Computational Content of Computability Theory. CoRR (2015)
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
On the Uniform Computational Content of the Baire Category Theorem. CoRR (2015)
Matthew Hendtlass
The intermediate value theorem in constructive mathematics without choice. Ann. Pure Appl. Log. 163 (8) (2012)
Matthew Hendtlass
Fixed point theorems in constructive mathematics. J. Log. Anal. 4 (2012)
Matthew Hendtlass, Peter Schuster
A Direct Proof of Wiener's Theorem. CiE (2012)
Matthew Hendtlass
The computational content of Walras' existence theorem. Appl. Math. Comput. 217 (13) (2011)
Matthew Hendtlass, Peter Schuster
Minima and best approximations in constructive analysis. J. Log. Anal. 3 (2011)
Douglas S. Bridges, Matthew Hendtlass
Continuous isomorphisms from R onto a complete abelian group. J. Symb. Log. 75 (3) (2010)
Douglas S. Bridges, Matthew Hendtlass
Continuous homomorphisms of R onto a compact group. Math. Log. Q. 56 (2) (2010)