A view of canonical extension

DOI10.1007/978-3-642-22303-7_6zbMATH Open1341.03095arXiv1009.2803OpenAlexW2097991333MaRDI QIDQ3019971FDOQ3019971

Authors: Mai Gehrke, Jacob Vosmaer 

Publication date: 29 July 2011

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Abstract: This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given. In particular, they are doubly algebraic lattices and their interval topologies agree with their double Scott topologies and make them Priestley topological algebras.

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

Recommendations

• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• scientific article
• Bounded lattice expansions
• Canonical extensions of Stone and double Stone algebras: the natural way
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras

zbMATH Keywords

relational semanticstopological dualitycanonical extensionfinitely generated varietieslattices with additional operationsspectral spaces with Scott topology

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Continuous lattices and posets, applications (06B35) Lattices and duality (06D50)

Cited In (19)

• Reconciliation of approaches to the construction of canonical extensions of bounded lattices
• A fresh perspective on canonical extensions for bounded lattices.
• Canonical extensions of bounded Archimedean vector lattices
• Canonical extensions and canonicity via dcpo presentations
• Canonical extensions of lattices are more than perfect
• Revisiting the canonicity of canonical triangulations
• Canonical extensions, Esakia spaces, and universal models
• Residuation algebras with functional duals
• Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
• A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
• Extending maps to profinite completions in finitely generated quasivarieties
• Canonical extensions and ultraproducts of polarities
• TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
• Canonical extensions and profinite completions of semilattices and lattices
• Canonical extensions of locally compact frames
• Topological duality and algebraic completions
• Tribute to Bjarni Jónsson
• Canonical extensions of Stone and double Stone algebras: the natural way

This page was built for publication: A view of canonical extension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3019971)