Results 1 
3 of
3
The Mathematical Import Of Zermelo's WellOrdering Theorem
 Bull. Symbolic Logic
, 1997
"... this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and emerges in the interstices of the inclusion vs ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and emerges in the interstices of the inclusion vs. membership distinction, a distinction only clarified at the turn of this century, remarkable though this may seem. Russell runs with this distinction, but is quickly caught on the horns of his wellknown paradox, an early expression of our motif. The motif becomes fully manifest through the study of functions f :
A FIXED POINT THEOREM FOR THE INFINITEDIMENSIONAL SIMPLEX
, 2006
"... Abstract. We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R ∞ , and prove that this space has the fixed point property: any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that ..."
Abstract
 Add to MetaCart
Abstract. We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R ∞ , and prove that this space has the fixed point property: any continuous function from the space into itself has a fixed point. Our proof is constructive, in the sense that it can be used to find an approximate fixed point; the proof relies on elementary analysis and Sperner’s lemma. The fixed point theorem is shown to imply Schauder’s fixed point theorem on infinitedimensional compact convex subsets of normed spaces. 1.
SPERNER AND KKMTYPE THEOREMS ON TREES AND CYCLES
, 909
"... Abstract. In this paper we prove a new combinatorial theorem for labellings of trees, and show that it is equivalent to a KKMtype theorem for finite covers of trees and to discrete and continuous fixed point theorems on finite trees. This is in analogy with the equivalence of the classical Sperner’ ..."
Abstract
 Add to MetaCart
Abstract. In this paper we prove a new combinatorial theorem for labellings of trees, and show that it is equivalent to a KKMtype theorem for finite covers of trees and to discrete and continuous fixed point theorems on finite trees. This is in analogy with the equivalence of the classical Sperner’s lemma, KKM lemma, and the Brouwer fixed point theorem on simplices. Furthermore, we use these ideas to develop new KKM and fixed point theorems for infinite covers and infinite trees. Finally, we extend the KKM theorem on trees to an entirely new KKM theorem for cycles, and discuss interesting social consequences, including an application in voting theory. 1.