SES # | TOPICS |
---|---|
1 | The Basic Setting: Universal Domains |
2 |
Extraction of Indiscernible Sequences (Taught by David K. Milovich) |
3 | Dividing and its Basic Properties |
4 |
Simplicity
Statement of the Properties of Independence Morley Sequences Proof of Symmetry and Transitivity from Extension |
5 |
Thickness
Total D-rank and Extension |
6 |
Lascar Strong Types and the Independence Theorem (Partially taught by Christina Goddard) |
7 |
Examples: Hilbert Spaces, Hyperimaginary Sorts (Taught by Josh Nichols-Barrer) |
8 |
Generically Transitive Relations
Amalgamation Bases, Parallelism and Canonical Bases |
9 |
Characterisation of Simplicity and Non-dividing in Terms of Abstract Notion of Independence (Taught by Cameron Freer) |
10 |
Supersimplicity
Lascar Inequalities Stability |
11-12 | Stable Theories with a Generic Automorphism |
13-14 |
Groups: Stratified Ranks, Generic Elements and Types
Connected Components, Stabilisers |
15-16 | Lovely Pairs |
Calendar
Course Info
Learning Resource Types
notes
Lecture Notes
assignment
Problem Sets