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

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

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

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

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

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

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

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

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.