Compactness in locales and in formal topology

DOI10.1016/j.apal.2005.05.028zbMath1077.03041OpenAlexW1991195512MaRDI QIDQ2575779

Steven Vickers

Publication date: 6 December 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/2919620/CompLocFT.pdf

zbMATH Keywords

compactnesslocalepredicative systemsTikhonov theoremformal topologypowerlocale

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Compactness (54D30) Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (11)

Sublocales in formal topology ⋮ A Minimalist Foundation at Work ⋮ Finiteness in a Minimalist Foundation ⋮ Locatedness and overt sublocales ⋮ Reflections on function spaces ⋮ Cosheaves and connectedness in formal topology ⋮ Generalised powerlocales via relation lifting ⋮ Embedding locales and formal topologies into positive topologies ⋮ Presenting Dcpos and Dcpo Algebras ⋮ The connected Vietoris powerlocale ⋮ A topos for algebraic quantum theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inductively generated formal topologies.
• Entailment systems for stably locally compact locales
• A universal characterization of the double powerlocale
• The problem of the formalization of constructive topology
• An extension of the Galois theory of Grothendieck
• An intuitionistic proof of Tychonoff's theorem
• Quantales, observational logic and process semantics
• Continuous domains as formal spaces
• Constructive points of powerlocales
• Tychonoff's theorem in the framework of formal topologies
• Topical categories of domains
• A structural investigation on formal topology: coreflection of formal covers and exponentiability

This page was built for publication: Compactness in locales and in formal topology