A view of canonical extension

DOI10.1007/978-3-642-22303-7_6MaRDI QIDQ3019971zbMATH OpenOpenAlexFDO

Authors Mai Gehrke, Jacob Vosmaer

Publication date 29 July 2011

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

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

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)

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.

Recommendations

• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• scientific article; zbMATH DE number 5289973
• 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

Cited in

(18)

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