The fan theorem and unique existence of maxima

DOI10.2178/JSL/1146620167zbMath1107.03064OpenAlexW2072755421MaRDI QIDQ5480634

Douglas S. Bridges, Josef Berger, Peter M. Schuster

Publication date: 3 August 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1146620167

zbMATH Keywords

constructive mathematicsconstructive reverse mathematicsfan theoremintuitionistic mathematics

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Constructive real analysis (26E40) Intuitionistic mathematics (03F55)

Related Items (9)

Constructing local optima on a compact interval ⋮ Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions ⋮ Brouwer's fixed point theorem with isolated fixed points and his fan theorem ⋮ Convexity and unique minimum points ⋮ A fan-theoretic equivalent of the antithesis of Specker's theorem ⋮ Toward a clarity of the extreme value theorem ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics ⋮ Continuity and Lipschitz constants for projections ⋮ Problems, solutions, and completions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• A constructive proximinality property of finite-dimensional linear subspaces

This page was built for publication: The fan theorem and unique existence of maxima