PP-2010-18: Gehrke, Mai and Vosmaer, Jacob (2010) A View of Canonical Extension. [Report]
Preview |
Text (Full Text)
PP-2010-18.text.pdf Download (268kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
