Results 1 
6 of
6
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 inclusi ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
(Show Context)
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

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
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
(Show Context)
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.
Université Catholique de Louvain The Brouwer Fixed Point Theorem for Intervals 1 Toshihiko Watanabe
"... Summary. The aim is to prove, using Mizar System, the following simplest version of the Brouwer Fixed Point Theorem [2]. For every continuous mapping f: � → � of the topological unit interval � there exists a point x such that f(x) = x (see e.g. [9], [3]). ..."
Abstract
 Add to MetaCart
(Show Context)
Summary. The aim is to prove, using Mizar System, the following simplest version of the Brouwer Fixed Point Theorem [2]. For every continuous mapping f: � → � of the topological unit interval � there exists a point x such that f(x) = x (see e.g. [9], [3]).