PP-2010-18: A View of Canonical Extension

PP-2010-18: Gehrke, Mai and Vosmaer, Jacob (2010) A View of Canonical Extension. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2010-18.text.pdf

Download (268kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2010-18.abstract.txt

Download (670B)

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.

Item Type: Report
Report Nr: PP-2010-18
Series Name: Prepublication (PP) Series
Year: 2010
Uncontrolled Keywords: topological duality; canonical extension; relational semantics; lattices with additional operations; finitely generated varieties; spectral spaces with Scott topology
Subjects: Logic
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/397

Actions (login required)

View Item View Item