✦ LIBER ✦

Formal Topology and Domains

✍ Scribed by Giovanni Sambin

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 774 KB
Volume: 35
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80742-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Measurements on domains and topology

✍ G.M. Reed 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 36 KB

Some points in formal topology

✍ Giovanni Sambin 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 629 KB

Compactness in locales and in formal top

Compactness in locales and in formal topology

✍ Steven Vickers 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 319 KB

Inductively generated formal topologies

✍ Thierry Coquand; Giovanni Sambin; Jan Smith; Silvio Valentini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 367 KB

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with

The formal language Lt and topological p

The formal language Lt and topological products

✍ L. E. Bertossi 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 315 KB

Domain representations of topological sp

Domain representations of topological spaces

✍ Jens Blanck 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 193 KB

A domain representation of a topological space X is a function, usually a quotient map, from a subset of a domain onto X . Several di erent classes of domain representations are introduced and studied. It is investigated when it is possible to build domain representations from existing ones. It is,