Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
From MaRDI portal
Publication:3613310
DOI10.1007/978-1-4020-8926-8_14zbMATH Open1167.03040OpenAlexW2136762285MaRDI QIDQ3613310FDOQ3613310
Authors: 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
Recommendations
Fixed-point theorems (47H10) Constructive operator theory (47S30) Constructive and recursive analysis (03F60)
Cited In (11)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Some axioms for constructive analysis
- Brouwer's weak counterexamples and the creative subject: a critical survey
- Brouwer's fixed point theorem with isolated fixed points and his fan theorem
- Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis
- Two kinds of fixed point theorems and reverse mathematics
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
- Semantical completeness of first-order predicate logic and the weak fan theorem
- Fixed point theorems in constructive mathematics
- The computational content of Walras' existence theorem
This page was built for publication: Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613310)
