Convexity and unique minimum points

DOI10.1007/S00153-018-0619-2zbMath1441.03045OpenAlexW2788929634MaRDI QIDQ1712926

Josef Berger, Gregor Svindland

Publication date: 24 January 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-018-0619-2

zbMATH Keywords

approximation theorysupporting hyperplanesconvex sets and functionsBishop's constructive mathematics

Mathematics Subject Classification ID

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

Related Items (3)

Differentiating convex functions constructively ⋮ Constructive Proofs of Negated Statements ⋮ On Farkas' lemma and related propositions in BISH

Cites Work

• Unnamed Item
• Unnamed Item
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Convexity and constructive infima
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Techniques of constructive analysis
• A constructive proximinality property of finite-dimensional linear subspaces
• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• Brouwer's fan theorem and unique existence in constructive analysis
• The fan theorem and unique existence of maxima

This page was built for publication: Convexity and unique minimum points