|
|||||
|
|
|
|
|
|
|
|
|
Locale geometry
B. J. Day |
|
Vol. 83 (1979), No. 2, 333–339
|
Abstract |
|
We commence with a locale ℒ (that is, a complete Heyting algebra) and introduce the notion of an ℒ-valued betweenness relation on a set. The concept of an ℒ-valued geometry is then formulated and the relevant versions of the Radon, Helly and Carathéodory theorems are proved. |
Mathematical Subject Classification 2000
Primary: 52A01
Secondary: 03G10
|
Milestones
Received: 21 November 1978
Published: 1 August 1979
|
Authors |
| B. J. Day | |
|
