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

constructive mathematicsfixed-point theoremcontinuous functionsBrouwer's fan theorem

Mathematics Subject Classification ID

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

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
• Publication:3200107
• A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity

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
• A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity
• Two kinds of fixed point theorems and reverse mathematics
• 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)