BROUWER’S FAN THEOREM AND CONVEXITY

DOI10.1017/JSL.2018.49OpenAlexW2905758547WikidataQ128716207 ScholiaQ128716207MaRDI QIDQ4647099

Gregor Svindland, Josef Berger

Publication date: 4 January 2019

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

Full work available at URL: https://epub.ub.uni-muenchen.de/68856/

zbMATH Keywords

convex functionsconstructive mathematicsfan theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Convex functions and convex programs in convex geometry (52A41) Constructive real analysis (26E40)

Related Items (1)

Constructive Proofs of Negated Statements

Cites Work

• Unnamed Item
• Unnamed Item
• Convexity and constructive infima
• Techniques of constructive analysis
• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• Brouwer's fan theorem and unique existence in constructive analysis

This page was built for publication: BROUWER’S FAN THEOREM AND CONVEXITY