Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem

DOI10.1007/978-1-4020-8926-8_14zbMath1167.03040OpenAlexW2136762285MaRDI QIDQ3613310

Wim Veldman

Publication date: 12 March 2009

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8926-8_14

zbMATH Keywords

constructive mathematicsfixed-point theoremcontinuous functionsBrouwer's fan theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Fixed-point theorems (47H10) Constructive operator theory (47S30)

Related Items (9)

Brouwer's weak counterexamples and the creative subject: a critical survey ⋮ Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative ⋮ Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions ⋮ Brouwer's fixed point theorem with isolated fixed points and his fan theorem ⋮ A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity ⋮ Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis ⋮ The computational content of Walras' existence theorem ⋮ Some axioms for constructive analysis ⋮ Semantical completeness of first-order predicate logic and the weak fan theorem

This page was built for publication: Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem