论文信息 - A View of Canonical Extension

A View of Canonical Extension

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.

Mai Gehrke | Jacob Vosmaer | M. Gehrke | J. Vosmaer

[1] A. Tarski,et al. Boolean Algebras with Operators , 1952 .

[2] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[3] Klaus Keimel,et al. Continuous Lattices and Domains: The Scott Topology , 2003 .

[4] M. Gehrke,et al. Bounded Lattice Expansions , 2001 .

[5] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .

[6] On profinite completions and canonical extensions , 2006 .

[7] Mai Gehrke,et al. MONOTONE BOUDED DISTRIBUTIVE LATTICE EXPANSIONS , 2000 .

[8] Yde Venema,et al. MacNeille completions and canonical extensions , 2005 .

[9] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .

[10] J. Vosmaer,et al. Logic, algebra and topology: investigations into canonical extensions, duality theory and point-free topology , 2010 .

[11] Mai Gehrke,et al. Bounded distributive lattice expansions , 2004 .