Mathematical Logic 2
A.Y. 2022/2023
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 2022/23 will be provided over the coming months, depending on the developments related to the public health situation.
Course syllabus
The course will be about classical model theory topics (quantifier elimination, Löwenheim-Skolem theorems, types, saturation). In the final part of the course, we will show some modern applications to Ramsey 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
Blackboard lectures, notes by the teacher on selected topics.
Teaching Resources
For bibliographic references please contact the instructor.
Assessment methods and Criteria
The exam will be oral and it will include questions about the general theory and exercises to solve.
During the course, students will be able to test their learning by solving homework assignments.
During the course, students will be able to test their learning by solving homework assignments.
MAT/01 - MATHEMATICAL LOGIC - University credits: 6
Lessons: 42 hours
Professor:
Luperi Baglini Lorenzo
Professor(s)