Logo Logo
Switch Language to German
Berger, Josef; Svindland, Gregor (2016): Convexity and constructive infima. In: Archive for Mathematical Logic, Vol. 55, No. 7-8: pp. 873-881
Full text not available from 'Open Access LMU'.


We show constructively that every quasi-convex uniformly continuous function has positive infimum, where is a convex compact subset of . This implies a constructive separation theorem for convex sets.