Model Theory seminar

Tuesday, January 15, 2013 3:00 pm - 3:00 pm EST (GMT -05:00)

Rahim Moosa, Department of Pure Mathematics, University of Waterloo

"NIP Theories"

We will be reading Pierre Simon's lecture notes on NIP theories this semester. NIP stands for "not independence property", and was introduced by Shelah in the nineteen seventies in his work on classification theory. Interest in them has been rekindled in the past decade because they appearĀ  in the study of definably compact groups in o-minimal theories (Hrushovski, Peterzil, Pillay), the model theory of algebraically closed valued fields (Hrushovski, Haskell, Macpherson), and the model theoretic construction of Berkovitch spaces (Hrushovski, Loeser). NIP theories, which are also referred to in the literature as dependent theories, form a common generalisation of o-minimality and stability.