Sumários

12 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia

Conclusion of the proof of Birkhoff Theorem: a class of algebras of the same type is a variety iff it is an equational class.

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

Equational classes, equational theories,

Thm: A class of algebras is a variety if and only if it is an equational class.

Section 11 of Chapter II, till Thm 11.9, A Course in Universal Algebra, Burris and Sankappanavar

7 Maio 2021, 13:00 • Maria João Antunes Dias Gouveia

Resolution of exercises.

5 Maio 2021, 11:30 • Maria João Antunes Dias Gouveia

Free algebras for and in classes of algebras of the same type over some set X of variables.

Section 10 of II (till Thm10.7), A course in Universal Algebra, Burris and Sankappanavar

Section 4.3 (till Proposition 4.24), Universal Algebra, C. Bergman

3 Maio 2021, 15:30 • Maria João Antunes Dias Gouveia

Clarification of doubts. Correction of exercises. The universal mapping property for concrete examples.