scientific article; zbMATH DE number 1301740

zbMATH Open0926.06001MaRDI QIDQ4246953FDOQ4246953

Authors: Sara Negri 

Publication date: 16 June 1999

Title of this publication is not available (Why is that?)

Recommendations

• Finitary formal topologies and Stone's representation theorem
• Publication:4896531
• scientific article; zbMATH DE number 1159539
• Quasi-compact elements and continuous lattices
• Continuous domains as formal spaces

zbMATH Keywords

formal topologyconstructive analysiscontinuous latticeslocally compact spaceslocally Scottlocally Stoneprime-continuous lattices

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Continuous lattices and posets, applications (06B35) Second- and higher-order arithmetic and fragments (03F35) Local compactness, (sigma)-compactness (54D45) Constructive and recursive analysis (03F60) Stone spaces (Boolean spaces) and related structures (06E15)

Cited In (11)

• Title not available (Why is that?)
• On subset families that form a continuous lattice
• Quasi-compact elements and continuous lattices
• Topological representations of distributive hypercontinuous lattices
• Apartness, sharp elements, and the Scott topology of domains
• Finite intervals in the lattice of topologies
• Sharp elements and apartness in domains
• Finitary formal topologies and Stone's representation theorem
• Title not available (Why is that?)
• Constructive metrisability in point-free topology.
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246953)