Pages that link to "Item:Q3613310"
From MaRDI portal
The following pages link to Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem (Q3613310):
Displaying 9 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions (Q408489) (← links)
- Brouwer's fixed point theorem with isolated fixed points and his fan theorem (Q408490) (← links)
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity (Q420168) (← links)
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis (Q420181) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- The computational content of Walras' existence theorem (Q632841) (← links)
- Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
- Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
