| 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