Théorie NIP
- Pure Mathematics -
Algebra Dictionary
Définition
Une théorie du premier ordre sans la propriété d'indépendance (NIP), c'est-à-dire qu'aucune formule du langage ne peut encoder des graphes bipartites arbitrairement grands ; NIP impose une douceur combinatoire aux familles définissables.