Abréviation de « Not the Tree Property of the Second Kind » : propriété de séparation indiquant qu'aucune formule de la théorie ne donne lieu aux motifs combinatoires arborescents caractérisant TP2. L'absence de TP2 contraint certains agencements en tableaux ou en arbres de formules.

Principe

Interdire l'existence de certains motifs arborescents/de tableau bidimensionnels d'instances d'une formule qui permettraient une explosion combinatoire incontrôlée ; cela restreint la manière dont les formules forkent et se combinent sur des paramètres en couches.

Démonstration

Instance illustratrice : de nombreuses classes tames n'ont pas TP2 — les théories NIP sont NTP2, et beaucoup de théories simples sont également NTP2 ; en l'absence de TP2, certains théorèmes d'indépendance et conditions de chaîne pour types et forking tiennent sous forme contrainte.

Mauvaise application

Confondre NTP2 avec des propriétés plus fortes ou orthogonales telles que NIP ou la simplicité ; supposer que NTP2 offre toute la régularité de NIP ou de la simplicité conduit à des attentes erronées concernant les mesures, les bases canoniques ou le calcul d'indépendance.

Conséquence

L'absence de TP2 permet un comportement combinatoire et de forking contrôlé : elle soutient des variantes de théorèmes d'indépendance, une alternance bornée dans les tableaux, et un environnement où les arguments sur le Kim-forking et la division sont plus efficaces que dans les théories TP2.

Inversion

La présence de TP2 (la négation) signifie qu'il existe des formules produisant des motifs arborescents/tableaux complexes autorisant une forte complexité combinatoire et contrecarrant de nombreux arguments uniformes d'indépendance et de décomposition.

Limite

Propriété concernant les formules et leurs configurations possibles en tableau/arbre au sein d'une théorie du premier ordre ; elle se situe strictement entre certaines lignes de division classiques (elle est impliquée par NIP mais indépendante de la simplicité en général) et est sensible aux changements de langage.

Tension sémantique

La tension existe entre NTP2 et notions voisines : NIP implique NTP2 mais NTP2 est strictement plus faible ; de même, la simplicité recoupe NTP2 sur des exemples mais aucune des deux notions ne l'emporte universellement sur l'autre, d'où la nécessité de vérifier les conséquences comparatives au cas par cas.

Synthèse

NTP2 délimite les théories qui excluent les motifs arborescents de second type : c'est une contrainte combinatoire sur l'agencement des tableaux d'instances de formules, fournissant un terrain intermédiaire de tameness qui entraîne des théorèmes d'indépendance partiels et un calcul de division/forking mieux contrôlé que dans les théories TP2.