Convexity and constructive infima

DOI10.1007/S00153-016-0502-YMaRDI QIDQ334985zbMATH OpenOpenAlexFDO

Authors Josef Berger, Gregor Svindland

Publication date 1 November 2016

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

Full work available at URL https://doi.org/10.1007/s00153-016-0502-y

zbMATH Keywords

Bishop's constructive mathematicsBrouwer's fan theoremconvex functionsseparating hyperplanes

Mathematics Subject Classification ID

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

Recommendations

• Convexity and unique minimum points
• On the infimum of a quasiconvex function over an intersection. Application to the distance function
• Infimum of special type functionals on a compact convex set
• scientific article; zbMATH DE number 1521482
• scientific article; zbMATH DE number 5676623

Cites work

• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• scientific article; zbMATH DE number 5676623 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Techniques of constructive analysis

Cited in

(11)

• Convexity and unique minimum points
• On Farkas' lemma and related propositions in BISH
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Constructive proofs of negated statements
• scientific article; zbMATH DE number 2042760 (Why is no real title available?)
• Brouwer's fan theorem and convexity
• Kostant convexity for affine buildings
• Differentiating convex functions constructively
• On the infimum of a quasiconvex function over an intersection. Application to the distance function
• Upward Slopes and Inf-Convolutions
• Constructive convex programming

This page was built for publication: Convexity and constructive infima

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