NIP-Theorie

- Pure Mathematics -
Algebra Dictionary
Definition
Eine Theorie der ersten Ordnung ohne die Unabhängigkeitseigenschaft (NIP), das heißt, keine Formel der Sprache kann beliebig große bipartite Graphen kodieren; NIP erzwingt kombinatorische Zähmung von definierbaren Familien.