Reducibility, a constructive dual of spatiality

Francesco Ciraulo, Giovanni Sambin


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.

Full Text:

FT1. [PDF]


Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008