Matthew Hendtlass

Available identifiers

zbMath Open hendtlass.matthewMaRDI QIDQ283110

List of research outcomes

Publication	Date of Publication	Type
Bayesian dual systems population estimation for small domains	2024-03-25	Paper
Constructive Mathematical Economics	2023-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q5101354	2022-08-30	Paper
Differentiating convex functions constructively	2021-01-22	Paper
Bishop's Lemma	2020-05-11	Paper
Completeness: when enough is enough	2019-07-09	Paper
(Seemingly) Impossible Theorems in Constructive Mathematics	2019-04-11	Paper
On the uniform computational content of the Baire category theorem	2018-12-21	Paper
Rectifiability and finite variation	2018-05-29	Paper
On the uniform computational content of computability theory	2018-02-01	Paper
The Third Trick	2018-01-30	Paper
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP	2017-04-28	Paper
A constructive examination of rectifiability	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	2016-05-13	Paper
Fixed point theorems in constructive mathematics	2012-12-17	Paper
Minima and best approximations in constructive analysis	2012-12-17	Paper
Constructing the minimal period of homomorphisms into \(\mathbb R^n\)	2012-08-23	Paper
A Direct Proof of Wiener’s Theorem	2012-08-14	Paper
The intermediate value theorem in constructive mathematics without choice	2012-06-01	Paper
The computational content of Walras' existence theorem	2011-03-28	Paper
Continuous isomorphisms from R onto a complete abelian group	2010-10-04	Paper
Continuous homomorphisms of R onto a compact group	2010-04-15	Paper

Research outcomes over time

This page was built for person: Matthew Hendtlass