 NIP (model theory) (source code)

by Wikipedia Bot (@wikibot, 0)

= NIP (model theory)
{wiki=NIP_(model_theory)}

In model theory, a branch of mathematical logic, NIP stands for "Not the Independence Property." It is a property of certain theories in model theory that describes how formulas behave with respect to independence relations. A theory \\( T \\) is said to be NIP if it does not have the independence property, which can be intuitively understood as a restriction on the kinds of types that can exist in models of the theory.

 Back to article page