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, Duality and canonical extensions for stably compact spaces, Canonical extensions and ultraproducts of polarities
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item