A Guide to NIP Theories

Let p(x:y) e L. There exists /(x; 2) e L such that for any M = T, A C M of size > 2, b e M and Ao C p(A; b) finite, there is de A with Ao C /(A; d) C p(A; b). PROOF.