Compactness in locales and in formal topology

DOI10.1016/j.apal.2005.05.028zbMath1077.03041MaRDI 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

compactness; locale; predicative systems; Tikhonov theorem; formal topology; powerlocale

Mathematics Subject Classification ID

54B20: Hyperspaces in general topology

54D30: Compactness

54A05: Topological spaces and generalizations (closure spaces, etc.)

06D22: Frames, locales

03F65: Other constructive mathematics

Related Items

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item