scientific article; zbMATH DE number 1301740

MaRDI QIDQ4246953zbMATH OpenFDO

Authors Sara Negri

Publication date 16 June 1999

zbMATH Keywords

constructive analysiscontinuous latticesformal topologylocally compact spaceslocally Scottlocally Stoneprime-continuous lattices

Mathematics Subject Classification ID

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

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

Cited in

(11)

• Topological representations of distributive hypercontinuous lattices
• Constructive metrisability in point-free topology.
• On subset families that form a continuous lattice
• Quasi-compact elements and continuous lattices
• scientific article; zbMATH DE number 1164021 (Why is no real title available?)
• scientific article; zbMATH DE number 937390 (Why is no real title available?)
• Predicative theories of continuous lattices
• Finite intervals in the lattice of topologies
• Apartness, sharp elements, and the Scott topology of domains
• Sharp elements and apartness in domains
• Finitary formal topologies and Stone's representation theorem

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)