The following pages link to (Q5608010):
Displaying 12 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)
- Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes (Q3741625) (← links)
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis (Q4916185) (← links)
- Effectiveness for Embedded Spheres and Balls (Q4916189) (← links)
- Weihrauch Complexity in Computable Analysis (Q5024577) (← links)
- The Brouwer invariance theorems in reverse mathematics (Q5135421) (← links)
- Connected choice and the Brouwer fixed point theorem (Q5223123) (← links)
- When series of computable functions with varying domains are computable (Q5396227) (← links)
