Some Themes Around First Order Theories Without the Independence Property
The aim of these notes (as well as the course of lectures they are based on) is to describe some current work around theories with NIP (not the independence property). This is a broad class of first order theories, including natural examples such as algebraically closed fields, differentially closed fields (both of which are stable) as well as real closed fields, p-adically closed fields and algebraically closed valued fields (which are unstable).This is really a paper on “pure” model theory, but I will comment here and there on applications and connections.
Supported by EPSRC grant EP/I002294/1.
- 4.A. Chernikov, P. Simon, Externally definable sets and dependent pairs II. Trans. AMS (to appear)Google Scholar
- 5.A. Chernikov, I. Kaplan, S. Shelah, On nonforking spectra (preprint, 2012)Google Scholar
- 6.E. Hrushovski, F. Loeser, Non-archimedean Tame Topology, and Stably Dominated Types. Princeton Monograph Series (to appear)Google Scholar
- 7.E. Hrushovski, Y. Peterzil, A. Pillay, Groups, measures and the NIP. J. AMS 21, 563–596 (2008).Google Scholar
- 13.A. Pillay, Externally definable sets and a theorem of Shelah, in Felgner Festchrift (College Publications, London, 2007)Google Scholar
- 14.A. Pillay, On weight and measure in NIP theories. Notre Dame J. Formal Log. (to appear)Google Scholar
- 16.S. Shelah, Dependent dreams and counting types (preprint 2012)Google Scholar
- 17.S. Shelah, Strongly dependent theories. Isr. J. Math. (to appear)Google Scholar