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
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
2
3
Due day
Course event
System event
Personal event
Announcements
ALL ANNOUNCEMENTS...- - There are no announcements -