Mathematical Logic 2

A.Y. 2021/2022
Overall hours
Learning objectives
The course offers an introduction to model theory, including however selected topics usually not covered by standard treatments (equationally definable categories of algebras, Birkhoff's Theorem, Stone duality.)
Expected learning outcomes
Basic knowledge of model theory. More advanced knowledge of selected topics (equationally definable classes of algebras, Stone duality.)
Course syllabus and organization

Single session

Lesson period
Second semester
Further information on the delivery modes of training activities for the academic year 2021/22 will be provided over the coming months, depending on the developments related to the public health situation.
Course syllabus
1. Birkhoff's Variety Theore: Equationally definable classes of mathematical structures.
2. Stone Duality: The topological structures of models of propositional theories.
3. Selected Topics in Model Theory.
Prerequisites for admission
There are no specific requirements. Previous attendance of the courses "Elementi di Matematica di Base 2" (B.Sc.) and "Logica matematica 1" (M.Sc.) is suggested but not required.
Teaching methods
Balckboard lectures, notes by instructor on selected topics.
Teaching Resources
For bibliographic references please contact the instructor.
Assessment methods and Criteria
Homework assignments during the course. The final
examination consists of an inteview.
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Lessons: 42 hours
Professor: Marra Vincenzo
Educational website(s)