Model Theory
Advanced Course
Lecturer: Board Contact: |
SSD: MAT/01
CFU: 4 CFU + assignment: 2 CFU
Period: January–February 2021
Lessons / Hours: 8 lessons, 16 hours, online
Program:
Prerequisites: Structures, theories, elementarity (including elementary substructures, Tarski-Vaught test, downward Lowenheim-Skolem theorem), the compactness theorem