Chapter

Logic, Language, and Computation

Volume 6618 of the series Lecture Notes in Computer Science pp 77-100

A View of Canonical Extension

  • Mai GehrkeAffiliated withCarnegie Mellon UniversityIMAPP, Radboud Universiteit Nijmegen
  • , Jacob VosmaerAffiliated withCarnegie Mellon UniversityILLC, Universiteit van Amsterdam

* Final gross prices may vary according to local VAT.

Get Access

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.

Keywords

topological duality canonical extension relational semantics lattices with additional operations finitely generated varieties spectral spaces with Scott topology