Course Description
Loewenheim-Skolem theorems. Omitting types and interpolation. Countable models of complete theories. Skolem functions and indiscernibles. Ultraproducts and applications. Saturated models and applications.
Agenda
Due day
Course event
System event
Personal event
Announcements
All announcements...- - There are no announcements -