1 citations · 2 across the 5 of their papers we have counts for
5 papers · 1 filter
Equivalents of disjunctive Markov's principle
Matthew Hendtlass
The purpose of this short note is to point out a rich source of natural equivalents of the weak semi-intuitionistic principle MP in reverse constructive mathematics: many si…
Constructing the demand function of a strictly convex preference relation
Matthew Hendtlass
We give conditions under which the demand function of a strictly convex preference relation can be constructed.
On the construction of general equilibria in a competitive economy
Matthew Hendtlass, Nazar Miheisi
This paper gives a constructive treatment of McKenzie's theorem on the existence of general equilibria. While the full theorem does not admit a constructive proof, and hence does n…
Kakutani's fixed point theorem in constructive mathematics
Matthew Hendtlass
In this paper we consider Kakutani's extension of the Brouwer fixed point theorem within the framework of Bishop's constructive mathematics. Kakutani's fixed point theorem is class…
Weak König's lemma implies the uniform continuity theorem: a direct proof
Matthew Hendtlass
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak König's lemma implies the uniform continuity theorem.