Canonical extensions and canonicity via dcpo presentations
From MaRDI portal
Publication:541219
DOI10.1016/j.tcs.2010.12.032zbMath1231.06013MaRDI QIDQ541219
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
06B23: Complete lattices, completions
06D50: Lattices and duality
06B35: Continuous lattices and posets, applications
Related Items
Canonical Extensions, Esakia Spaces, and Universal Models, Topological duality and algebraic completions, Duality and canonical extensions for stably compact spaces, Canonical extensions and ultraproducts of polarities
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