Lecture, three hours. Requisites: courses 220A, 220B. Ultraproducts, preservation theorems, interpolation theorems, saturated models, omitting types, categoricity, two cardinal theorems, enriched languages, soft model theory, and applied model theory. Topics vary from year to year. May be repeated for credit with consent of instructor. S/U or letter grading.

Review Summary

Clarity
N/A
Organization
N/A
Time
N/A
Overall
N/A

Course

Instructor
Artem Chernikov
Previously taught
23W 22S 19F 18S 16F