Fundamentals of Stability Theory

a₁ acceptable class algebraic arbitrary automorphism axiom b₁ cardinality Chapter choose construction contains Corollary countable models countable theory countable w-stable theory defined Definition denote depends depth dim(p dim(q dimension dimensional order property elements empty set equivalence class equivalence relation example finite set following exercise fork formula Harrington Historical Notes I-formula I-isolated I-prime I-saturated implies independent set induction isomorphism K-prime K-strongly regular types Lachlan Lascar Lemma lower bound M₁ Makkai maximal maximal independent set model theory models of power Morley Morley rank N₁ N₂ No-categorical nonforking extension nonisolated nonorthogonality notation notion number of models orthogonal p₁ pairwise pairwise independent partial order prime models prove quasi-isomorphism rank realizes q result S-models satisfies saturated model Section set of indiscernibles Shelah stable strongly based strongly minimal subset superstable theory Suppose transitivity trivial uncountable weakly isolates