An intuitionistic analysis of the relationship between pointfree and pointwise topology brings new notions to light that are hidden from a classical viewpoint. In this paper, we study one of these, namely the notion of reducibility for a pointfree topology, which is classically equivalent to spatiality. We study its basic properties and we relate it to spatiality and to other concepts in constructive topology. We also analyse some notable examples. For instance, reducibility for the pointfree Cantor space amounts to a strong version of Weak König’s Lemma.
Reducibility, a constructive dual of spatiality
Ciraulo, Francesco;Sambin, Giovanni
2019
Abstract
An intuitionistic analysis of the relationship between pointfree and pointwise topology brings new notions to light that are hidden from a classical viewpoint. In this paper, we study one of these, namely the notion of reducibility for a pointfree topology, which is classically equivalent to spatiality. We study its basic properties and we relate it to spatiality and to other concepts in constructive topology. We also analyse some notable examples. For instance, reducibility for the pointfree Cantor space amounts to a strong version of Weak König’s Lemma.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Ciraulo-Sambin - Reducibility, a constructive dual of spatiality.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Published (publisher's version)
Licenza:
Accesso libero
Dimensione
292.14 kB
Formato
Adobe PDF
|
292.14 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.