Sumários
38ª aula
18 Dezembro 2018, 16:30 • Maria João Antunes Dias Gouveia
Álgebras livres de um certo tipo para classes de álgebras desse tipo sobre conjunto de variáveis X.
Exemplos. Alguns resultados sobre álgebras livres necessários para a demonstração de que toda a variedade é uma classe equacional, a fazer no dia 20 em aula de substituição.
37ª aula
14 Dezembro 2018, 14:00 • Maria João Antunes Dias Gouveia
Conclusão do sumário da aula anterior.
35ª aula
11 Dezembro 2018, 16:30 • Maria João Antunes Dias Gouveia
Teorema: Um reticulado é algébricos se e só se é isomorfo ao reticulado dos fechados para algum operador de fecho.
Álgebras de Boole. Ideais e filtros primos de um reticulado. Ideais e filtros maximais. Espaços topológicos de Stone; a representação de Stone para álgebras de Boole.