Duality and canonical extensions for stably compact spaces

DOI10.1016/J.TOPOL.2011.09.040zbMath1233.54021arXiv1009.3410OpenAlexW2152404348MaRDI QIDQ649839

Samuel J. van Gool

Publication date: 6 December 2011

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.3410

zbMATH Keywords

Priestley dualityStone dualitycanonical extensionproximity latticesplitting by idempotentsstably compact space

Mathematics Subject Classification ID

Compactness (54D30) Logical aspects of lattices and related structures (03G10) Continuous lattices and posets, applications (06B35) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Connections of general topology with other structures, applications (54H99)

Related Items (6)

Presenting de Groot duality of stably compact spaces ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Subordinations on bounded distributive lattices ⋮ Unnamed Item ⋮ Canonical extensions and ultraproducts of polarities ⋮ Canonical extensions of locally compact frames

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Canonical extensions and canonicity via dcpo presentations
• Canonical extensions for congruential logics with the deduction theorem
• A Sahlqvist theorem for distributive modal logic
• Generalized Kripke frames
• Domain theory in logical form
• A topological representation theory for lattices
• On the canonicity of Sahlqvist identities
• Constructive canonicity in non-classical logics
• Continuous domains in logical form
• Stable Compactification I
• Continuous Lattices and Domains
• Presenting Dcpos and Dcpo Algebras
• An isomorphism principle in general topology
• Prime Ideal Structure in Commutative Rings
• Boolean Algebras with Operators
• Bounded lattice expansions

This page was built for publication: Duality and canonical extensions for stably compact spaces