A view of canonical extension

Authors
Publication date 2011
Host editors
  • N. Bezhanishvili
  • S. Löbner
  • K. Schwabe
  • L. Spada
Book title Logic, Language, and Computation
Book subtitle 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers
ISBN
  • 9783642223020
ISBN (electronic)
  • 9783642223037
Series Lecture Notes in Computer Science
Event 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009
Pages (from-to) 77-100
Publisher Heidelberg: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-22303-7_6
Permalink to this page
Back