NIP Theory

- Pure Mathematics -
Algebra Dictionary
A first-order theory without the independence property (NIP), meaning no formula in the language can encode arbitrarily large bipartite graphs; NIP imposes combinatorial tameness on definable families.