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

DOI10.1007/978-1-4020-8926-8_14MaRDI QIDQ3613310zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Brouwer's fan theoremconstructive mathematicscontinuous functionsfixed-point theorem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6098677
• Brouwer via Picard-Lindelöf: A Short Proof of the Brouwer Fixed Point Theorem
• Fixed point theorems in constructive mathematics
• scientific article; zbMATH DE number 4175813
• A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity

Cited in

(13)

• Semantical completeness of first-order predicate logic and the weak fan theorem
• Fixed point theorems in constructive mathematics
• 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
• Some axioms for constructive analysis
• Two kinds of fixed point theorems and reverse mathematics
• The computational content of Walras' existence theorem
• The principle of open induction on \([0, 1]\) and the approximate-fan theorem
• The Fan Theorem, its strong negation, and the determinacy of games
• Brouwer's weak counterexamples and the creative subject: a critical survey

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)