Constructive points of powerlocales

DOI10.1017/S0305004196001636MaRDI QIDQ4359621zbMATH OpenFDO

Authors Steven Vickers

Publication date 20 October 1997

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0305004196001636

zbMATH Keywords

internal locales

Mathematics Subject Classification ID

Lattices (06B99) Topoi (18B25) Topological spaces and generalizations (closure spaces, etc.) (54A05) Hyperspaces in general topology (54B20)

Recommendations

• A universal characterization of the double powerlocale
• Constructive theory of the lower power locale
• Generalised powerlocales via relation lifting
• scientific article; zbMATH DE number 2125651

Cited in

(24)

• The connected Vietoris powerlocale
• Localic sup-lattices and tropological systems.
• Entailment systems for stably locally compact locales
• A universal characterization of the double powerlocale
• Presenting de Groot duality of stably compact spaces
• On the parallel between the suplattice and preframe approaches to locale theory
• Compactness in locales and in formal topology
• Radical theory of Scott-open filters
• Continuity and geometric logic
• Positivity relations on a locale
• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 860043 (Why is no real title available?)
• Generalised powerlocales via relation lifting
• Choice-free Stone duality
• Sublocales in formal topology
• The regular-locally compact coreflection of a stably locally compact locale
• Pervin spaces and Frith frames: bitopological aspects and completion
• Presenting quotient locales
• Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
• The patch construction is dual to algebraic DCPO representation
• Locatedness and overt sublocales
• Cosheaves and connectedness in formal topology
• Canonical extensions via fitted sublocales
• Predicative presentations of stably locally compact locales

This page was built for publication: Constructive points of powerlocales

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