scientific article; zbMATH DE number 1301740

MaRDI QIDQ4246953zbMATH OpenFDO

Authors Sara Negri

Publication date 16 June 1999

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)

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)

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

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)