NTP2

Abbreviation for “Not the Tree Property of the Second Kind”: a dividing-line property meaning no formula in the theory gives rise to the combinatorial tree patterns that constitute TP2. The absence of TP2 constrains certain array-like and tree-like configurations of formulas.