We commence with a locale L (that is, a complete Heyting algebra) and introduce the notion of an L-valued betweenness relation on a set. The concept of an L-valued geometry is then formulated and the relevant versions of the Radon, Helly and Caratheodory theorems are proved.
|Number of pages||7|
|Journal||Pacific Journal of Mathematics|
|Publication status||Published - 1979|