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