Mathematical Logic 2
A.Y. 2021/2022
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.)
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
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.
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.
examination consists of an inteview.
Educational website(s)
Professor(s)
Reception:
By appointment
Dipartimento di Matematica "Federigo Enriques", via Cesare Saldini 50, room 2048