Logo Logo
Switch Language to German

Berger, Josef and 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.

Actions (login required)

View Item View Item