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.