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
formal topologyconstructive analysiscontinuous latticeslocally compact spaceslocally Scottlocally Stoneprime-continuous lattices
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)