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.

Principio

Prohibir la propiedad de independencia para que las familias definibles tengan complejidad combinatoria acotada de tipo VC, lo que restringe patrones de alternancia y asegura uniformidad en el comportamiento de conjuntos definibles.

Demostración

Los cuerpos real cerrados y sus expansiones (como el campo ordenado de los reales) son NIP: las familias definibles en una variable son templadas (o-minimales en el caso ordenado) y las fórmulas no pueden definir patrones de shattering arbitrarios sobre conjuntos de parámetros.

Aplicación incorrecta

Igualar NIP con estabilidad u con o-minimalidad; NIP excluye la propiedad de independencia pero aún permite ciertas inestabilidades y no implica la fuerte estructura ordenada o de intervalos que garantiza la o-minimalidad.

Consecuencia

NIP aporta cotas uniformes sobre la complejidad combinatoria (similar a la dimensión VC), medidas estables de familias definibles, nociones bien comportadas de tipos y medidas genéricamente estables, y herramientas para transferir ideas estadísticas y geométricas a la teoría de modelos.

Inversión

El opuesto son teorías con la propiedad de independencia (IP), donde las fórmulas pueden codificar grafos bipartitos arbitrarios, conduciendo a complejidad combinatoria arbitraria y obstaculizando argumentos basados en tamizamiento.

Límite

Se aplica a teorías de primer orden y es un eje de tamizamiento distinto de estabilidad, simplicidad y o-minimalidad. NIP gobierna el comportamiento combinatorio de familias definibles pero no controla por sí mismo la estructura ordenada o geométrica.

Tensión semántica

Surge tensión con la estabilidad (restricción más fuerte) y la o-minimalidad (restricción geométrica más fuerte): NIP permite más inestabilidad que la estabilidad pero menos caos combinatorio que IP; se solapa con, pero no implica, estas nociones cercanas.

Síntesis

NIP es la ausencia de la propiedad de independencia: una condición de tamizamiento combinatorio que limita la complejidad de shattering de familias definibles y permite la aplicación de técnicas de teoría VC y medidas en el análisis modelo-teórico.