𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some points in formal topology

✍ Scribed by Giovanni Sambin

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
629 KB
Volume
305
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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~__

Some questions in fuzzy topology
Some questions in fuzzy topology
✍ T. Kubiak; M.A. de Prada Vicente πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 700 KB

The purpose of this paper is to discuss some basic questions related (mainly) to Hutton's L-fuzzy unit interval. Some of those questions are stated here for the first time, while some of them are long-standing. Related results are surveyed in some cases.

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