Loading Events

« All Events

  • This event has passed.
:

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

August 31 Monday @ 4:15 PM - 5:15 PM KST

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 counting types and definability types.

Details

Date:
August 31 Monday
Time:
4:15 PM - 5:15 PM KST
Event Category:
Event Tags:
,

Venue

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

Organizer

Sang-il Oum (엄상일)
Website:
https://dimag.ibs.re.kr/home/sangil/