Canonical extensions and canonicity via dcpo presentations

DOI10.1016/j.tcs.2010.12.032zbMath1231.06013OpenAlexW2159745276MaRDI QIDQ541219

Mai Gehrke, Jacob Vosmaer

Publication date: 6 June 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.12.032

zbMATH Keywords

canonical extensiondcpo algebradcpo presentation

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Lattices and duality (06D50) Continuous lattices and posets, applications (06B35)

Related Items (4)

Topological duality and algebraic completions ⋮ Duality and canonical extensions for stably compact spaces ⋮ Canonical extensions and ultraproducts of polarities ⋮ Canonical Extensions, Esakia Spaces, and Universal Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Sahlqvist theorem for distributive modal logic
• Domain theory in logical form
• Varieties of complex algebras
• Continuous Lattices and Domains
• Bounded distributive lattice expansions
• Presenting Dcpos and Dcpo Algebras
• Universal and internal properties of some extensions of partially orderd sets.
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions

This page was built for publication: Canonical extensions and canonicity via dcpo presentations