Sumários

Aula 22

7 Abril 2021, 11:30 • Maria João Antunes Dias Gouveia

Conclusion of the proof of Birkhoff's Representation Theorem.

The theorem for the variety of bounded distributive lattices, for the variety of Boolean algebras and the case of Heyting algebras.

Aula 21

5 Abril 2021, 15:30 • Maria João Antunes Dias Gouveia

Characterization Birkhoff's Representation Theorem.

Secção 8, Capítulo II de "A course in Universal Algebra" de Burris and Sankappanavar


Aula 20

1 Abril 2021, 14:30 • Maria João Antunes Dias Gouveia

Correction of ex. 2 worksheet 3. Subdirect embeddings, subdirect products and subdirectly irreducible algebras.


Aula19

31 Março 2021, 11:30 • Maria João Antunes Dias Gouveia

Conclusão da aula anterior e resolução do exercício 3 da ficha 4.

Aula 18

29 Março 2021, 15:30 • Maria João Antunes Dias Gouveia

Conclusão do sumário da aula anterior. Propriedades dos operadores H,S e P.

Secção 9, Capítulo II de "A course in Universal Algebra" de Burris and Sankappanavar