Compactness in locales and in formal topology

DOI10.1016/J.APAL.2005.05.028zbMATH Open1077.03041OpenAlexW1991195512MaRDI QIDQ2575779FDOQ2575779

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

compactnessTikhonov theoremlocaleformal topologypowerlocalepredicative systems

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (20)

• Title not available (Why is that?)
• Compactness and local compactness in hyperspaces
• Presenting Dcpos and Dcpo Algebras
• A Minimalist Foundation at Work
• Sublocales in formal topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cosheaves and connectedness in formal topology
• Embedding locales and formal topologies into positive topologies
• The connected Vietoris powerlocale
• A topos for algebraic quantum theory
• Representability of locally compact regular spaces by domains and formal spaces
• Title not available (Why is that?)
• Compactifications with Almost Locally Compact Outgrowth
• Finiteness in a Minimalist Foundation
• Compact spaces and distributive lattices.
• Locatedness and overt sublocales
• Compact Hausdorff locales in presheaf toposes
• Generalised powerlocales via relation lifting
• Reflections on function spaces

   Recommendations

• Compact spaces and distributive lattices. 👍 👎
• Title not available (Why is that?) 👍 👎
• Sublocales in formal topology 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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

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