𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Point-finiteness in Pointfree Topology

✍ Scribed by Maria João Ferreira; Jorge Picado

Publisher
Springer
Year
2006
Tongue
English
Weight
484 KB
Volume
15
Category
Article
ISSN
0927-2852

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive metrisability in point-free
Constructive metrisability in point-free topology
✍ Giovanni Curi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 363 KB

The notion of elementary diameter is introduced to provide, in the context of Locale Theory, a constructive notion of metrisability. Besides foundational aspects, elementary diameters allow to express metrisability in locales more simply with respect to the existing (non-constructive) approach based

On Turing degrees of points in computabl
On Turing degrees of points in computable topology
✍ Iraj Kalantari; Larry Welch 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 169 KB

## Abstract This paper continues our study of computable point‐free topological spaces and the metamathematical points in them. For us, a __point__ is the intersection of a sequence of basic open sets with compact and nested closures. We call such a sequence a __sharp filter__. A function __f~F~__