## Junguk Lee (이정욱) from KAIST gave an intensive lecture on the stability and NIP in the model theory at the Discrete Math Seminar for two days

On August 31 and September 1, 2020, Junguk Lee (이정욱) from KAIST gave a 6-hour-long talk on the model theory with the focus on the stability, NIP, and the VC dimension at the Discrete Math Seminar. The title of his talk was “a quick introduction to stability and NIP”. The part 1 “basics” and the part 2 “stability” were coved on August 31, for 1.5 hours each, and the part 3 “NIP” was covered on September 1 for 3 hours (10:30-11:30, 3:00-4:00, 4:10-5:10).

## Junguk Lee (이정욱), A quick introduction to stability and NIP: Part III. NIP

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.

## Junguk Lee (이정욱), A quick introduction to stability and NIP: Part II. Stability

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.

## 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.

기초과학연구원 수리및계산과학연구단 이산수학그룹
대전 유성구 엑스포로 55 (우) 34126
IBS Discrete Mathematics Group (DIMAG)
Institute for Basic Science (IBS)
55 Expo-ro Yuseong-gu Daejeon 34126 South Korea
E-mail: dimag@ibs.re.kr, Fax: +82-42-878-9209