Introduction to theories without the independence property

75 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Strong theories, burden, and weight (2007, background): “We say that a theory is NIP if no formula has the independence property [ 1 ].”
On NIP and invariant measures (2007, background): “) turns out to be important and already invariant types played a role in the analysis of algebraically closed valued ﬁelds. We show for example (in section 2), extending work of Shelah [32] and Adler [1] that assuming NIP if pis a global type and Aa small set then pdoes not fork over Aiﬀ pis Aut(M/b”