Teoría NIP
- Pure Mathematics -
Algebra Dictionary
Definición
Una teoría de primer orden sin la propiedad de independencia (NIP), lo que significa que ninguna fórmula puede codificar grafos bipartitos arbitrariamente grandes; NIP impone suavidad combinatoria en familias definibles.