scientific article; zbMATH DE number 3329922

MaRDI QIDQ5608010zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1963

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Cited in

(12)

• A blend of methods of recursion theory and topology.
• The Brouwer fixed point theorem revisited
• Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
• 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
• 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
• Notes on computable analysis
• Connected choice and the Brouwer fixed point theorem
• When series of computable functions with varying domains are computable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5608010)