Maths›03. Logic and Foundations6.5 Classification ProgramsDetailed overview of classification theory, dividing lines such as stability, simplicity, and NIP, and the structural analysis of first order theories.