Sub-additivity of burden in NTP2 theories

In a first-order theory TT, let bdn(a)\operatorname{bdn}(a) denote the burden of a tuple aa, and say that TT is NTP2_2 when it has no inp-pattern of depth ω\omega in a single variable. Sub-additivity conjecture. Burden is sub-additive in NTP2_2 theories; in particular, for tuples aa and bb, one should have

bdn(ab)bdn(a)+bdn(b).\operatorname{bdn}(ab)\leq\operatorname{bdn}(a)+\operatorname{bdn}(b).

Sub-additivity is known for NIP theories and for simple theories, while the conjecture asks whether it holds for all NTP2_2 theories.

Sources & referencesView supporting material

Primary source

Artem Chernikov, “Theories without the tree property of the second kind”, arXiv:1204.0832 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.