| 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 |