Publication:5608010
From MaRDI portal
zbMath0207.31102MaRDI QIDQ5608010
Publication date: 1963
03F60: Constructive and recursive analysis
Related Items
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis, Effectiveness for Embedded Spheres and Balls, Weihrauch Complexity in Computable Analysis, The Brouwer invariance theorems in reverse mathematics, Connected choice and the Brouwer fixed point theorem, When series of computable functions with varying domains are computable, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions, Notes on computable analysis, A blend of methods of recursion theory and topology., The Brouwer Fixed Point Theorem Revisited, Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes