Pages that link to "Item:Q5480634"
From MaRDI portal
The following pages link to The fan theorem and unique existence of maxima (Q5480634):
Displaying 10 items.
- 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)
- Constructing local optima on a compact interval (Q868665) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Convexity and unique minimum points (Q1712926) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- Lipschitz functions in constructive reverse mathematics (Q4925156) (← links)