Duality and canonical extensions for stably compact spaces

DOI10.1016/j.topol.2011.09.040zbMath1233.54021arXiv1009.3410MaRDI 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 duality; Stone duality; canonical extension; proximity lattice; splitting by idempotents; stably compact space

Mathematics Subject Classification ID

54D30: Compactness

03G10: Logical aspects of lattices and related structures

06B35: Continuous lattices and posets, applications

18A35: Categories admitting limits (complete categories), functors preserving limits, completions

54H99: Connections of general topology with other structures, applications

Related Items

Canonical extensions and ultraproducts of polarities, Presenting de Groot duality of stably compact spaces, 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