Matthew Hendtlass

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