Junguk Lee (이정욱), A quick introduction to stability and NIP: Part I. Basic first order logic

I give a quick survey on stability and NIP(Non-Independent Property). We first review basic facts on the first order logic and give some historical remarks on classification theory in model theory. We review basic properties of stability and NIP. Finally, we aim to give several characterizations of stability and NIP of a given formula in terms of counting types and definability types.