##  [NTP2](/de/node/60376) 

 Definition

Abkürzung für „Not the Tree Property of the Second Kind“: Eine Trennlinieigenschaft, die besagt, dass keine Formel in der Theorie die kombinatorischen Baum-Muster erzeugt, die TP2 ausmachen. Das Fehlen von TP2 schränkt bestimmte array- und baumartige Konfigurationen von Formeln ein.

 

 

 

 

 

 





## Prinzip

Prinzip

Verbiete das Auftreten bestimmter zweidimensionaler Baum-/Array-Muster von Formelinstanzen, die eine unkontrollierte kombinatorische Explosion erlauben würden; dies begrenzt, wie Formeln beim Forking über Parameter in geschichteten Anordnungen kombiniert werden können.

 

 

 

 

 





## Demonstration

Demonstration

Illustratives Beispiel: Viele tame Klassen liegen außerhalb von TP2 — NIP-Theorien sind NTP2, und viele einfache Theorien sind ebenfalls NTP2; wenn TP2 fehlt, gelten bestimmte Unabhängigkeitssätze und Kettenbedingungen für Typen und Forking in beschränkter Form.

 

 

 

 

## Fehlanwendung

Fehlanwendung

NTP2 mit stärkeren oder orthogonalen Eigenschaften wie NIP oder Einfachheit zu verwechseln; anzunehmen, NTP2 gewähre alle Regularitäten von NIP oder Einfachheit führt zu falschen Erwartungen bezüglich Maßen, kanonischen Basen oder Unabhängigkeitskalkülen.

 

 

 

 

 





## Konsequenz

Konsequenz

Das Fehlen von TP2 erlaubt kontrolliertes kombinatorisches und Forking-Verhalten: Es stützt Versionen von Unabhängigkeitssätzen, begrenzte Wechsel in Arrays und ein Umfeld, in dem Argumente über Kim-Forking und Dividing mehr Wirkung entfalten als in TP2-Theorien.

 

 

 

 

## Umkehrung

Umkehrung

Das Vorliegen von TP2 (die Negation) bedeutet, dass es Formeln gibt, die komplexe Baum-/Arraymuster erzeugen und hohe kombinatorische Komplexität ermöglichen, wodurch viele uniforme Unabhängigkeits- und Zerlegungsargumente scheitern.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Eine Eigenschaft über Formeln und ihre möglichen Array-/Baumkonfigurationen in einer ersten-Ordnung-Theorie; sie steht streng zwischen einigen klassischen Trennlinien (sie wird von NIP impliziert, ist aber allgemein unabhängig von Einfachheit) und ist empfindlich gegenüber Sprachänderungen.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung besteht zwischen NTP2 und benachbarten Begriffen: NIP impliziert NTP2, aber NTP2 ist streng schwächer; ebenso überschneidet sich Einfachheit mit NTP2 in Beispielen, doch keine der beiden Eigenschaft umfasst die andere universell, daher müssen vergleichende Konsequenzen fallweise geprüft werden.

 

 

 

 

 





## Synthese

Synthese

NTP2 kennzeichnet Theorien, die Baum-Muster zweiter Art ausschließen: Es ist eine kombinatorische Beschränkung dafür, wie Arrays von Formelinstanzen angeordnet werden können, und bietet ein mittleres Maß an Tameness, das partielle Unabhängigkeitssätze und ein besser handhabbares Dividing-/Forking-Kalkül als in TP2-Theorien ermöglicht.