A view of canonical extension
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2010
- DOI:
- 10.48550/arXiv.1009.2803
- arXiv:
- arXiv:1009.2803
- Bibcode:
- 2010arXiv1009.2803G
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science
- E-Print:
- 24 pages, 2 figures. Presented at the Eighth International Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia, September 21-25 2009