We study some connections between two kinds of overlap relations: that of point-free geometries in the sense of Grzegorczyk, Whitehead and Clarke, and that recently introduced by Sambin within his constructive approach to topology. The main thesis of this paper is that the overlap relation in the latter sense is a necessary tool for a constructive and intuitionistic development of point-free geometry.
Intuitionistic overlap structures
CIRAULO, FRANCESCO
2013
Abstract
We study some connections between two kinds of overlap relations: that of point-free geometries in the sense of Grzegorczyk, Whitehead and Clarke, and that recently introduced by Sambin within his constructive approach to topology. The main thesis of this paper is that the overlap relation in the latter sense is a necessary tool for a constructive and intuitionistic development of point-free geometry.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Ciraulo - Intuitionistic Overlap Structures.pdf
accesso aperto
Tipologia:
Published (publisher's version)
Licenza:
Accesso libero
Dimensione
145.63 kB
Formato
Adobe PDF
|
145.63 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
