Matthew Hendtlass

Identifiers

• name variant Matthew Hendtlass 0.60 · backfill

Papers (9)

1. (Seemingly) Impossible Theorems in Constructive Mathematics math.LO · 2019 · author #2
2. Rectifiability and finite variation math.CA · 2018 · author #1
3. Equivalents of disjunctive Markov's principle math.LO · 2016 · author #1
4. Constructing the demand function of a strictly convex preference relation math.LO · 2016 · author #1
5. On the construction of general equilibria in a competitive economy math.LO · 2016 · author #1
6. Kakutani's fixed point theorem in constructive mathematics math.LO · 2016 · author #1
7. Weak K\"{o}nig's lemma implies the uniform continuity theorem: a direct proof math.LO · 2016 · author #1
8. On the Uniform Computational Content of the Baire Category Theorem math.LO · 2015 · author #2
9. On the Uniform Computational Content of Computability Theory math.LO · 2015 · author #2

Mentions

• 1510.01913 #2 · backfill · confidence 0.70 Matthew Hendtlass
• 1501.00433 #2 · backfill · confidence 0.70 Matthew Hendtlass

Frequent Coauthors

• Alexander P. Kreuzer 2 shared papers
• Vasco Brattka 2 shared papers
• Hannes Diener 1 shared papers
• Nazar Miheisi 1 shared papers