The following pages link to (Q5608010):
Displaying 7 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)
- Notes on computable analysis (Q519888) (← links)
- A blend of methods of recursion theory and topology. (Q1412834) (← links)
- The Brouwer Fixed Point Theorem Revisited (Q3188240) (← links)
- The Brouwer invariance theorems in reverse mathematics (Q5135421) (← links)
- When series of computable functions with varying domains are computable (Q5396227) (← links)
