Calendar

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