NTP2

Abreviatura de “Not the Tree Property of the Second Kind”: una propiedad que marca una línea divisoria y significa que ninguna fórmula en la teoría genera los patrones combinatorios en forma de árbol que constituyen TP2. La ausencia de TP2 restringe ciertas configuraciones en forma de matriz o árbol de fórmulas.