The role of entailment in natural dualities and in canonical extensions
                  09/09/2010 Quinta-feira, 9 de Setembro de 2010, 11h30m, Sala B2-01 
                  
                    Maria João Gouveia (CAUL / Dept. Matemática, FCUL, Portugal)
                    Instituto para a Investigação Interdisciplinar
                   
                  Natural dualities allow us to represent an algebra as a set of continuous maps preserving a relational structure. Canonical extensions of lattice based algebras have compact and dense complete lattices as an underlying lattice in which the former are lattice embeddable. In some settings there is a bridge between natural dualities and canonical extensions, with entailment playing a role in it. 
                 |