Convexity and constructive infima

DOI10.1007/S00153-016-0502-YzbMATH Open1402.03094OpenAlexW2513941583MaRDI QIDQ334985FDOQ334985

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

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

zbMATH Keywords

convex functionsBishop's constructive mathematicsBrouwer's fan theoremseparating hyperplanes

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Techniques of constructive analysis
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Title not available (Why is that?)

Cited In (9)

• Upward Slopes and Inf-Convolutions
• Differentiating convex functions constructively
• Convexity and unique minimum points
• BROUWER’S FAN THEOREM AND CONVEXITY
• On the infimum of a quasiconvex function over an intersection. Application to the distance function
• On Farkas' lemma and related propositions in BISH
• Constructive Proofs of Negated Statements
• Title not available (Why is that?)
• Kostant convexity for affine buildings

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)