Convexity and constructive infima

DOI10.1007/S00153-016-0502-YzbMath1402.03094OpenAlexW2513941583MaRDI QIDQ334985

Gregor Svindland, Josef Berger

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

convex functionsBishop's constructive mathematicsBrouwer's fan theoremseparating hyperplanes

Mathematics Subject Classification ID

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

Related Items (5)

Convexity and unique minimum points ⋮ Differentiating convex functions constructively ⋮ Constructive Proofs of Negated Statements ⋮ BROUWER’S FAN THEOREM AND CONVEXITY ⋮ On Farkas' lemma and related propositions in BISH

Cites Work

• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle
• Techniques of constructive analysis
• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Convexity and constructive infima