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

Room B232 IBS (기초과학연구원)

I give a quick survey on stability and NIP(Non-Independen 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

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

Room B232 IBS (기초과학연구원)

I give a quick survey on stability and NIP(Non-Independen 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

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

Room B232 IBS (기초과학연구원)

I give a quick survey on stability and NIP(Non-Independen 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

IBS 이산수학그룹 Discrete Mathematics Group
기초과학연구원 수리및계산과학연구단 이산수학그룹
대전 유성구 엑스포로 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
Copyright © IBS 2018. All rights reserved.